Publications

316 results for Neuro-symbolic AI

NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas
- - Francesco Fuggitti
  - Tathagata Chakraborti
- 2023
- AAAI 2023
Demo paper
Multilinear sets with two monomials and cardinality constraints
- - Rui Chen
  - Sanjeeb Dash
  - et al.
- 2023
- Discrete Applied Mathematics
Paper
Identifying Extreme Regimes in Climate-Scale Digital Twins: a Roadmap
- - Eloisa Bentivegna
- 2022
- Big Data 2022
Workshop paper
Learning Multi-Objective Curricula for Robotic Policy Learning
- - Jikun Kang
  - Miao Liu
  - et al.
- 2022
- CORL 2022
Conference paper
Distributionally Robust Optimization for Input Model Uncertainty in Simulation-Based Decision Making
- - Soumyadip Ghosh
  - Mark S. Squillante
- 2022
- WSC 2022
Conference paper
Knowledge-Based News Event Analysis and Forecasting
- - Oktie Hassanzadeh
- 2022
- EMNLP 2022
Invited talk
X-FACTOR: A Cross-metric Evaluation of Factual Correctness in Abstractive Summarization
- - Subhajit Chaudhury
  - Sarathkrishna Swaminathan
  - et al.
- 2022
- EMNLP 2022
Conference paper
Logical Neural Networks for Knowledge Base Completion with Embeddings & Rules
- - Prithviraj Sen
  - Breno W.S.R. de Carvalho
  - et al.
- 2022
- EMNLP 2022
Conference paper
Full-Stack Information Extraction System for Cybersecurity Intelligence
- - Youngja Park
  - Taesung Lee
- 2022
- EMNLP 2022
Conference paper
A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
- - Srinivas Ravishankar
  - June Thai
  - et al.
- 2022
- EMNLP 2022
Paper