Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The Future of Coding – From Syntax to Intention
future.forem.com·1d·
Discuss: DEV
🛠Language Design
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·2d·
Automated Theorem Proving
Flag this post
Five LLM Tricks for Data Pipelines
presentofcoding.substack.com·1d·
Discuss: Substack
🔗Constraint Handling
Flag this post
ENTP: Enhancing Low-Quality SFT Data via Neural-Symbolic Text Purge-Mix
arxiv.org·1d
🧮SMT Solvers
Flag this post
Corpus Frequencies in Morphological Inflection: Do They Matter?
arxiv.org·1d
🔤Morphological Analysis
Flag this post
The Power of Framework Dimensions: What Data Scientists Should Know
towardsdatascience.com·2d
📇Indexing Strategies
Flag this post
Beyond Understanding: Evaluating the Pragmatic Gap in LLMs' Cultural Processing of Figurative Language
arxiv.org·8h
🔗Monadic Parsing
Flag this post
Weekly Challenge: The one about arrays
dev.to·3d·
Discuss: DEV
📊APL Heritage
Flag this post
GCAO: Group-driven Clustering via Gravitational Attraction and Optimization
arxiv.org·1d
🌊Spectral Clustering
Flag this post
Politically Speaking: LLMs on Changing International Affairs
arxiv.org·8h
Formal Methods
Flag this post
Beyond MCQ: An Open-Ended Arabic Cultural QA Benchmark with Dialect Variants
arxiv.org·8h
⚙️Compression Benchmarking
Flag this post
PaTaRM: Bridging Pairwise and Pointwise Signals via Preference-Aware Task-Adaptive Reward Modeling
arxiv.org·8h
🔲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·8h
📝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
How Reliable Are Your AI Agents?
dev.to·5h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·2d
🧮Kolmogorov Complexity
Flag this post