aufbau 0.1.0

Type-aware constrained decoding for LLMs using context-dependent grammars with typing rules
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

# Summary

[Introduction](./intro.md)
[Basic Concepts and Notations](./basic.md)

# Foundations

- [Core Theoretical Foundation](./concepts/theory.md)
- [Partial Trees and Forests](./concepts/trees.md)
- [Binding Resolution](./concepts/binding.md)
- [Type System](./concepts/typing_system.md)
- [Regex Engine](./regex.md)

# Parsing

- [Partial Parsing](./parsing.md)
- [Tokenization](./tokenizer.md)


# Typing

- [Type Inference](./typing.md)
  - [Context](./typing/context.md)
  - [Premises](./typing/premises.md)
  - [Conclusion](./typing/conclusion.md)

# Completion

- [Completion](./completion.md)
  - [Synthesizer](./completion/synthesizer.md)
  - [Search](./completion/search.md)
  - [Scoring](./completion/scoring.md)

# Verification

- [Completability](./verification/completability.md)
- [Validation](./verification/validation.md)


---

- [Implementation Map](./implementation.md)