Building Custom LLM Judges for AI Agent Accuracy
databricks.com·14h
🧭SMT Solvers
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·21h
🧮Programming Language Theory
Flag this post
Wordle Solver
🔗Parser Combinators
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
📈Complexity Theory
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
🧩Theorem Proving
Flag this post
Decoding Life's Code: AI-Powered Causal Inference for Biological Networks by Arvind Sundararajan
🧫Cellular Automata
Flag this post
Interpretable Heart Disease Prediction via a Weighted Ensemble Model: A Large-Scale Study with SHAP and Surrogate Decision Trees
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
This is one way I use AI for coding
🧩Theorem Proving
Flag this post
Using Prisma for Schema and Kysely for Queries in a Next.js App
🏗️Software Architecture
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·5h
⚖️Logic Programming
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·5h
🔗Parser Combinators
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Loading...Loading more...