🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

How to Prove That An Email Was Received
metaspike.com·10h
📄Document Digitization
derived set
ncatlab.org·15h
🧮Algebraic Archives
abhisheksr01/spring-boot-microservice-best-practices
github.com·4h
🌊Streaming Systems
The Backtester's Edge: How Code and AI Transform Your Strategy Game
fractiz.com·12h·
Discuss: Hacker News
⚡Proof Automation
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·1d
🔗Topological Sorting
Why Dyad?: A Perspective for Modelica Users
juliahub.com·15h·
Discuss: Hacker News
💧Liquid Types
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·8h·
Discuss: Hacker News
📊Graph Databases
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·6d
🧮Theorem Proving
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·1h
🔲Cellular Automata
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Amplifying Machine Learning Attacks Through Strategic Compositions
arxiv.org·2d
⚔️Lean Tactics
Probing AI Safety with Source Code
arxiv.org·1h
✨Effect Handlers
Deciding Termination of Simple Randomized Loops
arxiv.org·2d
🌳Persistent Data Structures
Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
arxiv.org·1h
🧠Machine Learning
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.to·8h·
Discuss: DEV
🔗Data Provenance
Writing Toy Software Is a Joy
quiz.businessexplain.com·2h·
Discuss: Hacker News
🔩Systems Programming
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1h
📏Linear Logic
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·1h
🔗Parser Combinators
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·2d
👑Coq Tactics
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·15h·
Discuss: DEV
📏Code Metrics