🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Arrivals and Tuesday Wonders
ipkitten.blogspot.com·5h·
Discuss: ipkitten.blogspot.com
📋PREMIS Events
We built our coding agent for Slack instead of the terminal
mintlify.com·19h·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering
Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
arxiv.org·1d
🌳Context free grammars
StepORLM: A Self-Evolving Framework With Generative Process Supervision For Operations Research Language Models
arxiv.org·1d
⚡Incremental Computation
Rethinking JEPA: Compute-Efficient Video SSL with Frozen Teachers
arxiv.org·7h
🎯Arithmetic Coding Theory
MARCOS: Deep Thinking by Markov Chain of Continuous Thoughts
arxiv.org·7h
🔲Cellular Automata
Lessons Learned from Vibe-Coding a Configuration Parser
deanebarker.net·22h·
Discuss: Hacker News
🔗Concatenative Programming
My Claude Code Agent for Writing Prompts
olshansky.info·7h·
Discuss: Hacker News
⚡Proof Automation
Fin-Ally: Pioneering the Development of an Advanced, Commonsense-Embedded Conversational AI for Money Matters
arxiv.org·7h
🤖AI Curation
Knowledge-Level Consistency Reinforcement Learning: Dual-Fact Alignment for Long-Form Factuality
arxiv.org·7h
💻Local LLMs
The Dialogue That Heals: A Comprehensive Evaluation of Doctor Agents' Inquiry Capability
arxiv.org·7h
⚡Proof Automation
My AI Workflow for Writing Cleaner, Readable Code
dev.to·7h·
Discuss: DEV
⚡Proof Automation
CHRONOBERG: Capturing Language Evolution and Temporal Awareness in Foundation Models
arxiv.org·1d
💻Programming languages
Agentic Exploration of Physics Models
arxiv.org·7h
🏺Computational Archaeology
Singleton-Optimized Conformal Prediction
arxiv.org·7h
🧮Kolmogorov Bounds
Detecting (Un)answerability in Large Language Models with Linear Directions
arxiv.org·1d
🧮Kolmogorov Complexity
Learning to Ponder: Adaptive Reasoning in Latent Space
arxiv.org·7h
💻Local LLMs
On the Self-awareness of Large Reasoning Models' Capability Boundaries
arxiv.org·7h
🧠Computational Logic
LLM DNA: Tracing Model Evolution via Functional Representations
arxiv.org·7h
💻Programming languages
Go (Golang) Basic (Bonus) Three Advanced Function Techniques
dev.to·2d·
Discuss: DEV
🎯Proof Tactics