LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
Godel's Incompleteness Theorem
news.ycombinator.com·1h·
Discuss: Hacker News
🔤Type Theory
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3h·
Discuss: DEV
✓Automated Theorem Proving
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·4h
📊Graph Databases
It's elementary: Problem-solving AI approach tackles inverse problems used in nuclear physics and beyond
phys.org·1h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Explaining software and computational methods
blog.khinsen.net·18h
📝Concrete Syntax
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·23h·
Discuss: Hacker News
🤖Archive Automation
2025-06-24: GPU Hours Granted on Hypothesis Generation by Oak Ridge Leadership Computing Facility
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
Proving that every program halts
ntietz.com·2d
👑Isabelle
Introduction to Algorithms: What They Are and Why They Matter
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference
BNFGen: A random text generator based on context-free grammars
baturin.org·24m·
Discuss: Hacker News
🌳Context free grammars