MULTI-STRUCTURAL GAMES AND NUMBER OF QUANTIFIERS
- Ronald Fagin
- Jonathan Lenchner
- et al.
- 2025
- Logical Methods in Computer Science
Publications
9280 results for Computer Science
Laser annealing for scalable frequency control on multi-qubit quantum processors
- 2025
- SPIE Photonics West 2025
Variational Quantum Simulation: A Case Study for Understanding Warm Starts
- Ricard Puig
- Marc Drudis
- et al.
- 2025
- PRX Quantum
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
Enabling Robots to Identify Missing Steps in Robot Tasks for Guided Learning from Demonstration
- Maximilian Diehl
- Tathagata Chakraborti
- et al.
- 2025
- SII 2025
XTR meets ColBERTv2: Adding ColBERTv2 Optimizations to XTR
- Riyaz Ahmed Bhat
- Jaydeep Sen
- 2025
- COLING 2025
On the Effects of Fine-tuning Language Models for Text-Based Reinforcement Learning
- Maurício Gruppi
- Soham Dan
- et al.
- 2025
- COLING 2025
UR2N: Unified Retriever and ReraNker
- Riyaz Ahmed Bhat
- Jaydeep Sen
- et al.
- 2025
- COLING 2025
AURORA-M: Open Source Continual Pre-training for Multilingual Language and Code
- Taishi Nakamura
- Mayank Mishra
- et al.
- 2025
- COLING 2025
A Simple-Yet-Efficient Instruction Augmentation Method for Zero-Shot Sentiment Classification
- Yang Zhao
- Masayasu Muraoka
- et al.
- 2025
- COLING 2025