NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas
- Francesco Fuggitti
- Tathagata Chakraborti
- 2023
- AAAI 2023
Publications
Date
Featured collections
Popular topics
42 results at AAAI 2023
nBIIG: A Neural BI Insights Generation System for Table Reporting
- Yotam Perlitz
- Dafna Sheinwald
- et al.
- 2023
- AAAI 2023
AI Model Factory : Scaling AI for Industry 4.0 Applications
- Dhaval Patel
- Shuxin Lin
- et al.
- 2023
- AAAI 2023
General and Scalable Optimization for Robust AI
- Sijia Liu
- 2023
- AAAI 2023
Neural Topic Modeling of Psychotherapy Sessions
- Baihan Lin
- Djallel Bouneffouf
- et al.
- 2023
- AAAI 2023
Position Paper on Dataset Engineering to Accelerate Science
- 2023
- AAAI 2023
Knowledge-augmented Risk Assessment (KaRA): a hybrid-intelligence framework for supporting knowledge-intensive risk assessment of prospect candidate
- Carlos Raoni De Alencar Mendes
- Emilio Ashton Vital Brazil
- et al.
- 2023
- AAAI 2023
On Metric Analysis for Deep Weather Generators
- 2023
- AAAI 2023
A coupled Variational Encoder-Decoder - DeepONet surrogate model for the Rayleigh-Bénard convection problem
- Joao Lucas de Sousa Almeida
- Pedro Rocha
- et al.
- 2023
- AAAI 2023
Improving the Efficiency of Work Order Management by Infusing AI-Empowered Automation
- Roy Abitbol
- Eyal Cohen
- et al.
- 2023
- AAAI 2023