NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.
Matthias CoslerChristopher HahnAyham OmarFrederik SchmittPublished in: TACAS (3) (2024)
Keyphrases
- neural network
- portfolio management
- artificial neural networks
- portfolio optimization
- symbolic representation
- program synthesis
- decision making
- high level
- agent architecture
- portfolio selection
- neural learning
- symbolic data
- neuro fuzzy
- case study
- knowledge base
- event driven
- texture synthesis
- transaction costs
- data mining
- data sets