Neuro-symbolic traders suppress market prices, highlighting risks to stability.
problem Understanding and quantifying the influence of AI-generated financial models on markets.
method Developed virtual neuro-symbolic traders using deep generative models and tested them in a virtual market.
result Neuro-symbolic traders suppress market prices compared to historical data, indicating potential market instability.
Unified approach to structured prediction combining entropy regularization and neuro-symbolic logic.
problem Structured prediction challenges due to large output spaces and insufficient labeled data.
method Neuro-symbolic entropy regularization loss that restricts entropy regularization to valid structures.
result Models predict more accurately and are more likely to be valid.
Neuro-symbolic agent learns systematic generalisation from formal instructions.
problem Achieving zero-shot generalisation of formally specified tasks.
method Combines deep reinforcement learning with temporal logic.
result Systematic learning emerges with convolutional layers and abstract operators.
PandaAI: A practical agent for neuro-symbolic data analysis and decision-making in finance
problem Sequential decision-making in finance
method Leveraging LLMs for market regime modeling and constrained alpha generation
result PandaAI achieves higher Rank IC and lower maximum drawdown
This work identifies and mitigates reasoning shortcuts in Neuro-Symbolic models.
problem Neuro-Symbolic models can achieve high accuracy by using unintended concepts.
method Characterized reasoning shortcuts as unintended optima of the learning objective and identified four key conditions.
result Reasoning shortcuts are difficult to mitigate, casting doubt on NeSy solutions' trustworthiness and interpretability.
NeuRules learns interpretable rule lists from data without pre-discretization.
problem Interpretable rule lists for high-stakes decisions in machine learning.
method Neuro-symbolic continuous optimization with temperature annealing.
result NeuRules outperforms existing methods in learning interpretable rule lists.
A new probabilistic model for semi-supervised learning unifies various methods.
problem Combining different aspects of data distribution for semi-supervised learning.
method A probabilistic model that interprets and improves upon existing SSL methods.
result The model unifies various SSL methods and extends to neuro-symbolic learning.
Neuro-symbolic system tackles conversational AI's need for natural, broad-ranging dialogue.
problem Understanding unstated presumptions in conversational AI commands.
method Neuro-symbolic theorem prover for multi-hop reasoning.
result Extracts multi-hop reasoning chains from natural language commands.
Generative Neuro-Symbolic model learns from raw data with rich conceptual representations.
problem Learning rich, general-purpose conceptual representations from raw perceptual inputs.
method Generative Neuro-Symbolic (GNS) model combining symbolic and neural network approaches.
result Model learns from raw data and generalizes to 4 unique tasks.
Hybrid model learns novel handwritten characters better than neural or symbolic models alone.
problem Generating novel yet structured concepts.
method Neuro-symbolic model combining neural networks and probabilistic programs.
result Hybrid model outperforms alternative models in learning and generalizing novel handwritten characters.
A framework isolates VQA reasoning from perception for better model evaluation.
problem Improper separation of visual perception and reasoning in VQA models.
method Introducing a framework and a top-down calibration technique to decouple reasoning from perception.
result Improved evaluation of VQA models by separating reasoning from perception.
ARTEMIS combines deep learning and symbolic reasoning for financial predictions.
problem Lack of interpretability and economic principles in deep learning models in finance.
method Neuro-symbolic framework combining neural operators, stochastic differential equations, and symbolic distillation.
result ARTEMIS achieves state-of-the-art directional accuracy, outperforming all baselines on synthetic crash regime.
LLMs translate natural language trading intents into correct option strategies using a domain-specific language.
problem Challenges in translating natural language trading intents into correct option strategies due to the complexity of option chain data.
method Introduce Option Query Language (OQL) as a domain-specific intermediate representation to abstract option markets into high-level primitives under grammatical rules. Use LLMs as semantic parsers and validate queries by an engine.
result Significantly improves execution accuracy and logical consistency over direct baselines.
Unified tensor network formalism for combining neural and symbolic AI.
problem Combining neural and symbolic AI approaches remains a challenge.
method Introduces a tensor network formalism capturing sparsity principles.
result Unified treatment identifies tensor network contractions as a fundamental inference class.
We developed a caching method to speed up concept learning in complex knowledge bases.
problem Complex concept learning requires many instance retrieval calls, increasing runtime.
method Semantics-aware caching that links concepts to instances via crisp set operations.
result Our cache reduces concept retrieval and learning runtime by an order of magnitude.
This paper autoformalizes Euclidean geometry using LLMs and theorem provers.
problem Challenges in formalizing Euclidean geometry due to reliance on diagrams.
method Combines neuro-symbolic framework, SMT solvers, and LLMs to fill in diagrammatic gaps.
result Demonstrates the capability and limitations of LLMs on autoformalizing geometry problems.
P3I learns holistic scene representations from a single image.
problem Inferring camera poses, object locations, and global scene structures from a single image.
method Combines search-based and gradient-based algorithms.
result P3I outperforms baselines on various image manipulation tasks.
Introduces Motion Programs for better video analysis of human motion.
problem Current video analysis focuses on raw pixels or keypoints, missing higher-level motion primitives.
method Introduces Motion Programs as a neuro-symbolic representation of motions as a composition of high-level primitives.
result Motion Programs accurately describe diverse human motions and improve downstream tasks.
Study shows HFT benefits large traders under certain conditions.
problem Influence of high-frequency traders (HFTs) on large traders.
method Analyzes the impact of HFT front-running on large traders under different conditions.
result HFT benefits large traders when there is high-speed noise trading and vague HFT predictions.
Investigates market dynamics with informed traders and high-frequency traders.
problem Trading large orders in a market with multiple high-frequency traders.
method Analyzes a three-period Kyle's model with a normal-speed informed trader and multiple anticipatory high-frequency traders under different inventory pressures.
result Surprising results: improving HFTs' speed or prediction can harm them but benefit the informed trader.
CSML learns causal structures for few-shot learning.
problem Spurious correlations limit deep learning generalization.
method CSML combines perception, causal induction, and reasoning modules.
result CSML achieves superior few-shot learning across tasks.
The paper extends option pricing theory for markets with informed traders.
problem Discontinuity in option pricing for markets with informed traders.
method New models for option pricing in complete markets considering informed traders' information on stock price direction and return mean.
result The discontinuity puzzle in option pricing is resolved using continuous diffusion price processes.
We study learning latent models with multi-instance weak supervision.
problem Learning latent models with multi-instance weak supervision.
method Formulated as multi-instance Partial Label Learning (multi-instance PLL), proposed a necessary and sufficient condition for learnability, derived Rademacher-style error bounds.
result First theoretical study of multi-instance PLL with unknown transition function, aligns with empirical results but highlights scalability issues.
An informed broker optimizes trading strategies in a market influenced by many traders.
problem Optimizing trading strategies for an informed broker in a market with many traders.
method Developed a mean-field game approach to derive equilibrium strategies for both the broker and traders.
result The broker's optimal strategy involves a Stackelberg equilibrium, leading and traders following.
Study Nash equilibrium between broker and trader in a lit exchange with price impact.
problem Optimizing trading strategies between informed and uninformed traders with broker's inventory penalties.
method Characterized Nash equilibrium through FBSDEs, solved explicitly.
result Explicit solution to trading strategies of broker and informed trader.
PRZI traders adapt their quote-prices based on a strategy parameter s, affecting market dynamics.
problem Understanding the dynamics of continuous double auction markets with adaptive traders.
method Introduced a new zero-intelligence trader PRZI that uses a parameterised probability distribution to generate quote-prices. Used a stochastic hill-climber algorithm to adapt strategies based on market conditions.
result The co-evolutionary dynamics of PRZI traders can lead to rich and complex market behaviors, including periods of stability and change.
Study shows unique linear equilibrium in market with constrained trader.
problem Unique equilibrium in financial market with constrained trader.
method Linear equilibrium model with competitive market makers and noise traders.
result Equilibrium uniquely determined by two state variables.
Modeling market dynamics with informed and uninformed traders and fads.
problem Optimizing market making in a market with fads, informed, and uninformed traders.
method Characterizing the optimal liquidity provision problem in a market with fads, informed, and uninformed traders, considering both complete and partial information.
result The price of liquidity is a function of the proportion of informed traders, and strategies ignoring fads underperform.
Solves a game between brokers and informed traders using stochastic differential equations.
problem Optimizing wealth in a game between brokers and informed traders with private signals.
method Closed-form solutions to a mean-field game using forward-backward SDEs.
result Optimal trading strategies for both brokers and informed traders are found.
High-frequency traders can act as either small informed traders or round-trippers, affecting price discovery and liquidity.
problem Effects of high-frequency trading on price discovery and liquidity.
method Extended Kyle's model with interactions between large informed traders and high-frequency traders.
result High-frequency traders can act as Small-IT or Round-Tripper, impacting price discovery and liquidity.
Traders underestimated risk-free rates, leading to poor investments.
problem Incorrect setting of risk-free rates by traders.
method Analysis of investment decisions and financial models.
result Underestimating risk-free rates led to flawed investment decisions.
Model shows how multiple markets can coexist or fragment based on trader behavior.
problem Understanding market competition and coexistence among multiple trading venues.
method Stylized model of traders making repeated decisions at three markets, analyzed numerically and analytically.
result Parameters like memory length and choice intensity determine whether markets coexist or fragment.
We report successful results from using deep learning neural networks (DLNNs) to learn, purely by observation, the behavior of profitable traders in an electronic market closely modelled on the limit-order-book (LOB) market mechanisms that are commonly found in the real-world global financial markets for equities (stoc…
Brokers and an informed trader compete for liquidity, affecting trading costs and inventory risk.
problem How brokers and an informed trader manage liquidity and trading costs.
method Sequential Stackelberg game, solving for trading strategies, numerical solutions.
result Equilibrium strategies and liquidity prices determined, not Pareto efficient.
Study a market with uncertain informed traders, finding price impact depends on both asset value and informed trader count distribution.
problem Uncertain participation of informed traders in a market with limit orders.
method Characterized equilibrium by a fixed point integral equation, analyzed large order asymptotics, solved numerically.
result Equilibrium price impact depends on both asset value and distribution of informed traders, not just expected number of informed traders.
Strategic brokers exploit private information in broker-mediated markets, affecting informed traders' performance.
problem Strategic interactions and information leakage in broker-mediated markets.
method Study of strategic trading behavior and information leakage in a broker-mediated market.
result Brokers hold a strategic advantage over informed traders due to information leakage in trading flows.
Maximizing trading volume in online learning framework between traders.
problem Maximizing the total number of trades between traders with unknown valuations.
method Developed algorithms for brokers to maximize trading volume under different feedback scenarios.
result Achieved logarithmic and poly-logarithmic regret rates for different feedback models.
This paper improves robot traders' market impact sensitivity.
problem Market impact in automated trading systems.
method Critiqued existing methods, introduced MLOFI, and demonstrated new algorithms.
result New imbalance-sensitive trader-agents exhibit market impact effects.
In a very simple stock market, made by only two \emph{initially equivalent} traders, we discuss how the information can affect the performance of the traders. More in detail, we first consider how the portfolios of the traders evolve in time when the market is \emph{closed}. After that, we discuss two models in which a…
This study models AI traders' impact on financial markets using a multi-agent framework.
problem Lack of a comprehensive model to assess AI traders' effects on market price formation and volatility.
method Developed a multi-agent market model with microfoundations of the GARCH model.
result Validated the model through simulations and analyzed AI traders' impact.
The study reveals traders' risk aversion and a new risk premium from market volumes.
problem Understanding traders' rationality and risk aversion from market volumes.
method Optimal Merton dynamics model to estimate average risk aversion and price of risk.
result Validation of the proposed trading strategy model on real data.
Trading strategy advantage based on information asymmetry.
problem Trading advantage due to information disparity.
method Modeling market information, analyzing risk-neutral distribution, proving value difference.
result First trader's position is strictly more valuable than the second.
A combination of a priority queueing model and mean field theory shows the emergence of traders' swarm behavior, even when each has a subjective prediction of the market driven by a limit order book. Using a nonlinear Markov model, we analyze the dynamics of traders who select a favorable order price taking into accoun…
Study reveals patterns in trader clusters over time, improving investment predictions.
problem Managing diverse trader risk in financial services.
method Clustered trader data analyzed using Ewens' Sampling Distribution and Aggregating Algorithm (AA). Statistically Validated Networks (SVN) applied for improved results.
result Temporal distributions of trader clusters follow Ewens' Sampling Distribution, and AA can be improved with SVN.
Bitcoin option prices reflect both market maker supply and trader demand, especially from those with insider information.
problem Understanding how market prices of bitcoin options are influenced by both market makers and informed traders.
method Analysis of Deribit options tick-level data to identify supply and demand effects.
result At-the-money option prices are driven by volatility traders, while out-of-the-money options are influenced by both volatility traders and those with insider information.
We consider a single security market based on a limit order book and two investors, with different speeds of trade execution. If the fast investor can front-run the slower investor, we show that this allows the fast trader to obtain risk free profits, but that these profits cannot be scaled. We derive the fast trader's…
We consider an ideal closed stock market, in which 100 traders have economic activities. The assets of the traders change through buying and selling stocks. We simulate the assets under conservation of both total currency and total number of stocks. If the traders are identical, then the assets are distributed as a sta…
Traders buy and sell financial instruments in hopes of making profit, and brokers are responsible for the transaction. There are several hypotheses and conspiracy theories arguing that in some situations, brokers want their traders to lose money. For instance, a broker may want to protect the positions of a privileged …