[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
๐ฌReverse Engineering
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.orgยท9h
๐ฎVerification Games
Flag this post
Prog8
โ๏ธCompiler Design
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.orgยท1d
โExistential Types
Flag this post
Interpretable Heart Disease Prediction via a Weighted Ensemble Model: A Large-Scale Study with SHAP and Surrogate Decision Trees
arxiv.orgยท9h
๐ธ๏ธGraph Theory
Flag this post
CytoNet: A Foundation Model for the Human Cerebral Cortex
arxiv.orgยท9h
๐Automata Learning
Flag this post
I Want to Break Free! Persuasion and Anti-Social Behavior of LLMs in Multi-Agent Settings with Social Hierarchy
arxiv.orgยท9h
๐ฒCellular Automata
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.orgยท9h
๐Automata Learning
Flag this post
Quantum AI: Are We Building Castles in the Clouds? by Arvind Sundararajan
๐ฒCellular Automata
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.orgยท9h
๐ขAlgebraic Data Types
Flag this post
Analysis of Iterative Deblurring: No Explicit Noise
arxiv.orgยท9h
๐ขMatrix Decomposition
Flag this post
Approximation by Certain Complex Nevai Operators : Theory and Applications
arxiv.orgยท9h
๐Linear Algebra
Flag this post
Loading...Loading more...