Translating Canonical SQL to Imperative Code in Coq
- Véronique Benzaken
- Eveleyne Contejean
- et al.
- 2022
- SPLASH 2022
Conference paper
Publications
9268 results for Computer Science
Approximate Euclidean lengths and distances beyond Johnson-Lindenstrauss
- Aleksandros Sobczyk
- Mathieu Luisier
- 2022
- NeurIPS 2022
Conference paperFETA: Towards Specializing Foundational Models for Expert Task Applications
- Amit Alfassy
- Assaf Arbelle
- et al.
- 2022
- NeurIPS 2022
Conference paperAccelerating Material Design with the Generative Toolkit for Scientific Discovery (GT4SD)
- Matteo Manica
- Joris Cadow
- et al.
- 2022
- MRS Fall Meeting 2022
TalkDisconnection Aware Steering of Retrosynthesis Transformer to Facilitate Materials Design
- Amol Thakkar
- Andrea Antonia Byekwaso
- et al.
- 2022
- MRS Fall Meeting 2022
TalkHCAI@NeurIPS 2022, Human Centered AI
- Michael Muller
- Plamen Agelov
- et al.
- 2022
- NeurIPS 2022
WorkshopEvaluating Pre-Trained Sentence-BERT with Class Embeddings in Active Learning for Multi-Label Text Classification
- Lukas Wertz
- Jasmina Bogojeska
- et al.
- 2022
- AACL-IJCNLP 2022
Short paperArgGen: Prompting Text Generation Models for Document-Level Event-Argument Aggregation
- Debanjana Kar
- Sudeshna Sarkar
- et al.
- 2022
- AACL-IJCNLP 2022
Conference paperModern Hopfield Networks for graph embedding
- Yuchen Liang
- Dmitry Krotov
- et al.
- 2022
- Frontiers in Big Data
PaperEpistemic Planning in a Fast and Slow Setting
- Francesco Fabiano
- Marianna Bergamaschi Ganapini
- et al.
- 2022
- AAAI-FS 2022
Conference paper