A New Conference Presented Scientific Papers Written and Reviewed by A.I. as an Experiment. Here's What Happened
smithsonianmag.com·19h
🏛Digital humanities
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·16h
🔧RISC-V Assembler
Flag this post
Issue 496
haskellweekly.news·22h
🔗Functional Compilers
Flag this post
Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoning
arxiv.org·6h
⚔️Lean Tactics
Flag this post
The Epistemic Suite: A Post-Foundational Diagnostic Methodology for Assessing AI Knowledge Claims
arxiv.org·1d
🗺️Competency Maps
Flag this post
Hyperlogloglog (2016)
🏴Scottish Computing
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·6h
💻Local LLMs
Flag this post
Exploring Structures of Inferential Mechanisms through Simplistic Digital Circuits
arxiv.org·3d
🔲Cellular Automata
Flag this post
Teaching Probabilistic Machine Learning in the Liberal Arts: Empowering Socially and Mathematically Informed AI Discourse
arxiv.org·1d
🔲Cellular Automata
Flag this post
AI Scientists History
🏴Scottish Computing
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·6h
📝Log Parsing
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·6h
💻Programming languages
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
📊Static Analysis
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·6h
📝ABNF Extensions
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
🧮Theorem Proving
Flag this post
Thought Engineering
🧠Intelligence Compression
Flag this post
De Bruijn Numerals
λLambda Encodings
Flag this post
Loading...Loading more...