StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·5h
💻Local LLMs
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·5h
📝ABNF Extensions
Flag this post
Leadership Co-Processing with LLMs
🔗Constraint Handling
Flag this post
A Multi-agent Large Language Model Framework to Automatically Assess Performance of a Clinical AI Triage Tool
arxiv.org·5h
🧮Kolmogorov Complexity
Flag this post
wastrel, a profligate implementation of webassembly
🌐WASI
Flag this post
GHC 9.14.1-rc1 is now available
🔗Functional Compilers
Flag this post
Show HN: E2E Testing for Chatbots
🔍Concolic Testing
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·5h
🧠Machine Learning
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·5h
💻Programming languages
Flag this post
Ideology-Based LLMs for Content Moderation
arxiv.org·5h
📰Content Curation
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
The Epistemic Suite: A Post-Foundational Diagnostic Methodology for Assessing AI Knowledge Claims
arxiv.org·1d
🗺️Competency Maps
Flag this post
Org Mode as Architecture Notebook
🔩Systems Programming
Flag this post
Build LLM Agents Faster with Datapizza AI
towardsdatascience.com·15h
⚡Proof Automation
Flag this post
Tencent/WeKnora
github.com·7h
🤖Archive Automation
Flag this post
Loading...Loading more...