Results for "market making"
Exact likelihood generative models using invertible transforms.
Two-network setup where generator fools a discriminator.
Combining signals from multiple modalities.
Sequential data indexed by time.
Monte Carlo method for state estimation.
Formal model linking causal mechanisms and variables.
Expected causal effect of a treatment.
Model execution path in production.
System that independently pursues goals over time.
Agent calls external tools dynamically.
Decomposing goals into sub-tasks.
Interleaving reasoning and tool use.
Agent reasoning about future outcomes.
Increasing performance via more data.
Eliminating variables by integrating over them.
Variable whose values depend on chance.
Ensuring AI systems pursue intended human goals.
Willingness of system to accept correction or shutdown.
Requirement to inform users about AI use.
Ability to inspect and verify AI decisions.
Running models locally.
Requirement to provide explanations.
Field combining mechanics, control, perception, and AI to build autonomous machines.
Devices measuring physical quantities (vision, lidar, force, IMU, etc.).
Control without feedback after execution begins.
Inferring the agent’s internal state from noisy sensor data.
Classical controller balancing responsiveness and stability.
Stability proven via monotonic decrease of Lyapunov function.
Finding control policies minimizing cumulative cost.
Optimizes future actions using a model of dynamics.