Tape Library and Show Off
i.redd.it·1d·
Discuss: r/homelab
📼Cassette Archaeology
Tritium | Thoughts on the Word Spec in Rust
tritium.legal·20h·
Discuss: Hacker News, r/programming, r/rust
🦀Rust Macros
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🎯Interactive Provers
Towards a Typology of LLM Chains-of-Thought
1a3orn.com·13h·
Discuss: Hacker News
🌳Context free grammars
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·2d·
Discuss: DEV
📋Format Specification
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·4h
🔗Parser Combinators
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·4h
🧠Machine Learning
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.to·17h·
Discuss: DEV
🔧Hardware Verification
Increasing LLM response trustworthiness using voting ensembles
arxiv.org·4h
🔍Information Retrieval
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·4h
⚙️TLA+
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1d
🔍Concolic Testing
Automating construction safety inspections using a multi-modal vision-language RAG framework
arxiv.org·4h
🤖Advanced OCR
Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
arxiv.org·4h
🌀Differential Geometry
A First Look at the Lifecycle of DL-Specific Self-Admitted Technical Debt
arxiv.org·4h
📏Code Metrics
On Using Large Language Models to Enhance Clinically-Driven Missing Data Recovery Algorithms in Electronic Health Records
arxiv.org·4h
🔍Information Retrieval
Moral Anchor System: A Predictive Framework for AI Value Alignment and Drift Prevention
arxiv.org·4h
🔲Cellular Automata
Goodbye Valve Spec Nightmares: AI's Got Your Back
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🎯Performance Proofs
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·4h
🧠Intelligence Compression
The Debate on RLVR Reasoning Capability Boundary: Shrinkage, Expansion, or Both? A Two-Stage Dynamic View
arxiv.org·4h
📏Linear Logic