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
74 results for AI for Code
Study of Distractors in Neural Models of Code
- Md Rafiqul Islam Rabin
- Aftab Hussain
- et al.
- 2023
- ICSE 2023
Machine Learning Model Drift Detection Via Weak Data Slices
- Samuel Ackerman
- Parijat Dube
- et al.
- 2021
- ICSE 2021
Artifical Intelligence Governed Processor
- Alper Buyuktosunoglu
- David Trilla Rodriguez
- 2024
- ISCA 2024
An Empirical Comparison of Code Generation Approaches for Ansible
- Benjamin Darnell
- Hetarth Chopra
- et al.
- 2024
- ICSE 2024
Simulating Iterative Human-AI Interaction in Programming with LLMs
- Hussein Mozannar
- Valerie Chen
- et al.
- 2023
- NeurIPS 2023
CoSiNES: Contrastive Siamese Network for Entity Standardization
- Jiaqin Yuan
- Michele Merler
- et al.
- 2023
- ACL 2023
User and Technical Perspectives of Controllable Code Generation
- Stephanie Houde
- Vignesh Radhakrishna
- et al.
- 2022
- NeurIPS 2022
Tensor graph neural networks for learning on time varying graphs
- Osman Asif Malik
- Shashanka Ubaru
- et al.
- 2019
- NeurIPS 2019
HCAI@NeurIPS 2022, Human Centered AI
- Michael Muller
- Plamen Agelov
- et al.
- 2022
- NeurIPS 2022