Abstract Interpretation, Monotone Functions, Lattice Theory, Program Analysis
Patching functions together
johndcook.com·1d
Probing AI Safety with Source Code
arxiv.org·19h
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·2d
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.org·2d
Causal Operator Discovery in Partial Differential Equations via Counterfactual Physics-Informed Neural Networks
arxiv.org·19h
Loading...Loading more...