Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·2d·
Automated Theorem Proving
Flag this post
Beyond the Magic: How LLMs Work
tag1.com·1d·
Discuss: Hacker News
💻Local LLMs
Flag this post
Infrastructure Should Be Inferred, Not Written (and LLMs Are Why)
ivan.codes·1d·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·2d·
Discuss: Hacker News
🔒Type Safety
Flag this post
The Power of Framework Dimensions: What Data Scientists Should Know
towardsdatascience.com·2d
📇Indexing Strategies
Flag this post
Politically Speaking: LLMs on Changing International Affairs
arxiv.org·11h
Formal Methods
Flag this post
Beyond MCQ: An Open-Ended Arabic Cultural QA Benchmark with Dialect Variants
arxiv.org·11h
⚙️Compression Benchmarking
Flag this post
PaTaRM: Bridging Pairwise and Pointwise Signals via Preference-Aware Task-Adaptive Reward Modeling
arxiv.org·11h
🔲Cellular Automata
Flag this post
The New Calculus of AI-based Coding
blog.joemag.dev·1d·
🔄Reproducible Builds
Flag this post
Evaluating LLMs on Generating Age-Appropriate Child-Like Conversations
arxiv.org·11h
📝ABNF Extensions
Flag this post
Epistemic Deference to AI
arxiv.org·2d
🧮Theoretical Computer Science
Flag this post
Far from the Shallow: Brain-Predictive Reasoning Embedding through Residual Disentanglement
arxiv.org·1d
🔲Cellular Automata
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·2d
🧮Kolmogorov Complexity
Flag this post
Three Sins of Contextual Mismatch: Obscurity, Ambiguity, and Confabulation
medium.com·2d·
Discuss: Hacker News
🇸🇪Nordic Algorithms
Flag this post
Artificial Hivemind: The Open-Ended Homogeneity of Language Models (and Beyond)
arxiv.org·1d
💻Local LLMs
Flag this post
A Goal Without a Plan Is Just a Wish: Efficient and Effective Global PlannerTraining for Long-Horizon Agent Tasks
dev.to·4h·
Discuss: DEV
🎯Threat Hunting
Flag this post
Mechanism-Guided Residual Lifting and Control Consistent Modeling for Pneumatic Drying Processes
arxiv.org·11h
🌡️Preservation Physics
Flag this post
K-DAREK: Distance Aware Error for Kurkova Kolmogorov Networks
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post