From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.org·4h
👑Isabelle
Flag this post
Event-Driven Flows
🌊Stream Processing
Flag this post
Driving Compilers - the core concepts associated with the creation of an executable
fabiensanglard.net·2d
🔩Systems Programming
Flag this post
two-dimensional category
ncatlab.org·19h
🔀Category Theory
Flag this post
Can a Domain-Specific Language Improve Program Structure Comprehension of Data Pipelines? A Mixed-Method Study [EMSE Journal]
dirkriehle.com·1d
🔤DSLs
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·4h
🔲Cellular Automata
Flag this post
Empirical Characterization of Temporal Constraint Processing in LLMs
arxiv.org·4h
⏰Temporal Logic
Flag this post
Simulating an Autonomous System in CARLA using ROS 2
arxiv.org·4h
🧩WASM Components
Flag this post
ARCTraj: A Dataset and Benchmark of Human Reasoning Trajectories for Abstract Problem Solving
arxiv.org·4h
🔲Cellular Automata
Flag this post
AI Success Anecdotes
⚡Performance Mythology
Flag this post
Accelerating Controllable Generation via Hybrid-grained Cache
arxiv.org·4h
💨Cache Optimization
Flag this post
Loading...Loading more...