Publications

9077 results for Computer Science

Translating Canonical SQL to Imperative Code in Coq
- - Véronique Benzaken
  - Eveleyne Contejean
  - et al.
- 2022
- SPLASH 2022
Approximate Euclidean lengths and distances beyond Johnson-Lindenstrauss
- - Aleksandros Sobczyk
  - Mathieu Luisier
- 2022
- NeurIPS 2022
FETA: Towards Specializing Foundational Models for Expert Task Applications
- - Amit Alfassy
  - Assaf Arbelle
  - et al.
- 2022
- NeurIPS 2022
Disconnection Aware Steering of Retrosynthesis Transformer to Facilitate Materials Design
- - Amol Thakkar
  - Andrea Antonia Byekwaso
  - et al.
- 2022
- MRS Fall Meeting 2022
Accelerating Material Design with the Generative Toolkit for Scientific Discovery (GT4SD)
- - Matteo Manica
  - Joris Cadow
  - et al.
- 2022
- MRS Fall Meeting 2022
HCAI@NeurIPS 2022, Human Centered AI
- - Michael Muller
  - Plamen Agelov
  - et al.
- 2022
- NeurIPS 2022
Evaluating 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
ArgGen: Prompting Text Generation Models for Document-Level Event-Argument Aggregation
- - Debanjana Kar
  - Sudeshna Sarkar
  - et al.
- 2022
- AACL-IJCNLP 2022
Modern Hopfield Networks for graph embedding
- - Yuchen Liang
  - Dmitry Krotov
  - et al.
- 2022
- Frontiers in Big Data
Proceedings of”Thinking Fast and Slow and Other Cognitive Theories in AI”, a AAAI 2022 fall symposium
- - M. Bergamaschi Ganapini
  - L. Horesh
  - et al.
- 2022
- AAAI-FS 2022