Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
From Lossy to Lossless Reasoning
🧩Parser Combinators
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·1h
🔁Fixed-Point Theory
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1h
🧠Automated Reasoning
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·1h
✓Automated Theorem Proving
Flag this post
Building gemini-imagen with Claude Code: How AI Became My Pair Programming Partner
🔄Reproducible Builds
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
📚Automata Learning
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·1h
🔲Cellular Automata
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·1h
📚Automata Learning
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·1h
📚Automata Learning
Flag this post
FedMGP: Personalized Federated Learning with Multi-Group Text-Visual Prompts
arxiv.org·1h
📚Automata Learning
Flag this post
Surfacing Subtle Stereotypes: A Multilingual, Debate-Oriented Evaluation of Modern LLMs
arxiv.org·1h
❓Existential Types
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·1h
🔲Cellular Automata
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1h
🔤DSLs
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·1h
🧩Separation Logic
Flag this post
FLoRA: Fused forward-backward adapters for parameter efficient fine-tuning and reducing inference-time latencies of LLMs
arxiv.org·1h
📚Automata Learning
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·1h
🧩Parser Combinators
Flag this post
Loading...Loading more...