Handbook of Satisfiability (2021)
🧮SMT Solvers
Flag this post
Hephaestus: AI workflows that discover and create their own tasks as they work
⚡FastAPI
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
🎭Program Synthesis
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·13h
🌳Tree-sitter
Flag this post
Text to SQL: Local, Secure, and Smarter
🔥DataFusion
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
💬Prompt Engineering
Flag this post
Computation as a Game
arxiv.org·1d
🔢Homomorphic Encryption
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·13h
🔢NumPy
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·13h
💬Prompt Engineering
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
💬Prompt Engineering
Flag this post
I Use AI
💬Prompt Engineering
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.org·13h
📊Dynamic Programming
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✓Formal Verification
Flag this post
Loading...Loading more...