From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.org·11h
👑Isabelle
Flag this post
Event-Driven Flows
🌊Stream Processing
Flag this post
The Complete AI Agent Decision Framework
machinelearningmastery.com·5h
⚡Proof Automation
Flag this post
Distilling the Deep: A 3-Line AI Reasoning Challenge with 6 Hard Problems
🧮Kolmogorov Complexity
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·37m
🔀Category Theory
Flag this post
Driving Compilers - the core concepts associated with the creation of an executable
fabiensanglard.net·2d
🔩Systems Programming
Flag this post
Graphs defined on algebras
cameroncounts.wordpress.com·4h
📈Spectral Graph Theory
Flag this post
AI success anecdotes
⚡Performance Mythology
Flag this post
A Practical Guide to Building AI Agents with Java and Spring AI - Part 3 - Add Knowledge
🌊Streaming Systems
Flag this post
a go parser for Claude Skills
🌳Incremental Parsing
Flag this post
Teaching Rust the SQL Language
🦀Rust Macros
Flag this post
Aligning Machiavellian Agents: Behavior Steering via Test-Time Policy Shaping
arxiv.org·11h
🔲Cellular Automata
Flag this post
Empirical Characterization of Temporal Constraint Processing in LLMs
arxiv.org·11h
⏰Temporal Logic
Flag this post
Loading...Loading more...