Pronto: JavaScript Functional Library for Eventuality and Concurrency
λFunctional Programming
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
🔀OCaml Multicore
Flag this post
Wavelet-Based Feature Extraction and Unsupervised Clustering for Parity Detection: A Feature Engineering Perspective
arxiv.org·14h
🔢Algebraic Data Types
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·14h
📚Automata Learning
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·14h
📦Module Systems
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·14h
🧠Automated Reasoning
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·14h
🧠Automated Reasoning
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·14h
🐳Containerization
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·14h
⏱️Computational Complexity
Flag this post
Subgame Credible Nash Equilibrium
arxiv.org·14h
🎮Verification Games
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·14h
🧩Parser Combinators
Flag this post
Reflections on Trusting Trust (1984)
🛡️seL4
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·1d
🧩Parser Combinators
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·14h
❓Existential Types
Flag this post
Knowledge Elicitation with Large Language Models for Interpretable Cancer Stage Identification from Pathology Reports
arxiv.org·14h
🧩Parser Combinators
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·14h
🔀OCaml Multicore
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·14h
🔲Cellular Automata
Flag this post
Loading...Loading more...