Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Proving that every program halts
ntietz.comยท2d
Cactus Language โข Syntax 12
inquiryintoinquiry.comยท2h
Belief elicitation in theory versus practice
statmodeling.stat.columbia.eduยท2h
DuaShepherd: Integrating Stepwise Correctness and Potential Rewards for Mathematical Reasoning
arxiv.orgยท1d
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท18h
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.comยท6h
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.ukยท2d
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท1d
Explaining software and computational methods
blog.khinsen.netยท18h
Loading...Loading more...