ยท
AI & ML interests
Dual-Process Architectures
System 2 Deliberation
Non-Autoregressive Models
Quantization & Low-Bit Inference (GGUF, iMatrix)
Autonomous Coding Agents
Formal Verification & Test-Driven Synthesis
Bidirectional Encoders (ModernBERT)
Local & Sovereign Edge AI
Neurosymbolic AI
Representation Learning & Routing
Recent Activity
Organizations