Math Workmats
guidedmath.wordpress.comยท12h
๐Proof Pedagogy
Flag this post
Converting code in IDA with a simple script
gabrielcybersecurity.comยท4d
๐Shell scripting
Flag this post
Joy & Curiosity #59
registerspill.thorstenball.comยท1d
๐บZIP Archaeology
Flag this post
Luau's Performance
๐๏ธCompiler Archaeology
Flag this post
C Undefined Behavior
๐ฆRust Macros
Flag this post
Bringing CGI Back from the Dead
๐Interface Evolution
Flag this post
From Questions to Queries: An AI-powered Multi-Agent Framework for Spatial Text-to-SQL
arxiv.orgยท6h
๐ถVoronoi Diagrams
Flag this post
ROPES: Robotic Pose Estimation via Score-Based Causal Representation Learning
arxiv.orgยท6h
๐Riemannian Computing
Flag this post
Code-enabled language models can outperform reasoning models on diverse tasks
arxiv.orgยท6h
๐ง Intelligence Compression
Flag this post
InnoGate: Anti-Piracy Research Discovery Platform with AI-Powered RAG and Auth0 FGA
๐Archive APIs
Flag this post
AutoOpt: A Dataset and a Unified Framework for Automating Optimization Problem Solving
arxiv.orgยท6h
๐ง Machine Learning
Flag this post
Redefining Retrieval Evaluation in the Era of LLMs
arxiv.orgยท6h
๐Information Retrieval
Flag this post
Large Language Model enabled Mathematical Modeling
arxiv.orgยท3d
๐ขDenotational Semantics
Flag this post
Can Confidence Estimates Decide When Chain-of-thought is Necessary for Llms?
arxiv.orgยท6h
๐ปLocal LLMs
Flag this post
Loading...Loading more...