From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.orgยท11h
๐Isabelle
Flag this post
A Conversation with Amanda Garfunkel, 25-26 Chair of SAAโs Electronic Records Section
saaers.wordpress.comยท2h
๐archives
Flag this post
CFP: ARCHIVES*RECORDS 2026
archivespublishing.comยท1h
๐พData Preservation
Flag this post
Weekly Bookmarks
inkdroid.orgยท1d
๐ฟFLAC Archaeology
Flag this post
M2dir specification - man.sr.ht
man.sr.htยท1d
๐ฆContent Addressing
Flag this post
locally presentable (infinity,n)-category
ncatlab.orgยท36m
๐Category Theory
Flag this post
Distinguished Lecture - hosted by UKRI CDT in Natural Language Processing
informatics.ed.ac.ukยท1h
๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Flag this post
Nuclear-Waste Arks Are a Bold Experiment in Protecting Future Generations
scientificamerican.comยท3h
๐งArctic Storage
Flag this post
OSINT Analysis Intelligence Report Writing
dutchosintguy.comยท8h
๐OSINT Techniques
Flag this post
A Holiday Gift Guide: Tools, Treats, and Trifles for Food Lovers
newyorker.comยท1d
โญAwesome lists
Flag this post
The product we should not have killed
dri.esยท6h
๐Open Source Software
Flag this post
7 Steps to Build a Simple RAG System from Scratch
kdnuggets.comยท1h
๐Concrete Syntax
Flag this post
Cancer Research UK: Engineering Guidebook: Choosing Your Stack
crukorg.github.ioยท2d
๐Session Types
Flag this post
Creating & Combobulating
johnjohnston.infoยท2d
โทBidirectional Programming
Flag this post
Loading...Loading more...