NetHack4 Philosophy
🔲Cellular Automata
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
🧩Parser Combinators
Flag this post
Why your AI evals keep breaking
👁️System Observability
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·1d
🐫OCaml
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🤖Program Synthesis
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
🔀Brzozowski Derivatives
Flag this post
Speedrunning an RL Environment
🎮Verification Games
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·11h
🛡️seL4
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·11h
🔍Formal Verification
Flag this post
AI Models Write Code with Security Flaws 18–50% of the Time, New Study Finds
🏃Escape Analysis
Flag this post
Deep Learning-Accelerated Shapley Value for Fair Allocation in Power Systems: The Case of Carbon Emission Responsibility
arxiv.org·11h
🩹Self-Healing Systems
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
🔤Language Design
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·11h
📦OPAM
Flag this post
IVGAE-TAMA-BO: A novel temporal dynamic variational graph model for link prediction in global food trade networks with momentum structural memory and Bayesian o...
arxiv.org·11h
🕸️Graph Theory
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·11h
🧠Automated Reasoning
Flag this post
Towards Automated Petrography
arxiv.org·11h
🔲Cellular Automata
Flag this post
Loading...Loading more...