Publications

9293 results for Computer Science

Design and Evaluation of an AI-Assisted Grading Tool for Introductory Programming Assignments: An Experience Report
- - Goda Nagakalyani
  - Saurav Chaudhary
  - et al.
- 2025
- SIGCSE 2025
Conference paper
MULTI-STRUCTURAL GAMES AND NUMBER OF QUANTIFIERS
- - Ronald Fagin
  - Jonathan Lenchner
  - et al.
- 2025
- Logical Methods in Computer Science
Paper
Hybrid Tree Tensor Networks for Quantum Simulation
- - Julian Schuhmacher
  - Marco Ballarin
  - et al.
- 2025
- PRX Quantum
Paper
Laser annealing for scalable frequency control on multi-qubit quantum processors
- - Eric J. Zhang
- 2025
- SPIE Photonics West 2025
Conference paper
Variational Quantum Simulation: A Case Study for Understanding Warm Starts
- - Ricard Puig
  - Marc Drudis
  - et al.
- 2025
- PRX Quantum
Paper
Long-time error-mitigating simulation of open quantum systems on near term quantum computers
- - Brian Rost
  - Lorenzo Del Re
  - et al.
- 2025
- npj Quantum Information
Paper
Enabling Robots to Identify Missing Steps in Robot Tasks for Guided Learning from Demonstration
- - Maximilian Diehl
  - Tathagata Chakraborti
  - et al.
- 2025
- SII 2025
Conference paper
On the Effects of Fine-tuning Language Models for Text-Based Reinforcement Learning
- - Maurício Gruppi
  - Soham Dan
  - et al.
- 2025
- COLING 2025
Conference paper
A Simple-Yet-Efficient Instruction Augmentation Method for Zero-Shot Sentiment Classification
- - Yang Zhao
  - Masayasu Muraoka
  - et al.
- 2025
- COLING 2025
Conference paper
XTR meets ColBERTv2: Adding ColBERTv2 Optimizations to XTR
- - Riyaz Ahmed Bhat
  - Jaydeep Sen
- 2025
- COLING 2025
Conference paper