Computer Science

An L* Algorithm for Deterministic Weighted Regular Languages EMNLP 2024 A non-backtracking method for long matrix and tensor completion COLT 2024 Another Way to the Top: Exploit Contextual Clustering in Learned Image Coding AAAI 2024 Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024 A One-Shot Learning Approach To Document Layout Segmentation of Ancient Arabic Manuscripts WACV 2024 Applying Contrastive Learning to Code Vulnerability Type Classification EMNLP 2024 Approval-Based Committee Voting in Practice: A Case Study of (over-)Representation in the Polkadot Blockchain AAAI 2024 Approximate Distance Oracle for Fault-Tolerant Geometric Spanners AAAI 2024 Approximate Nearest Neighbor Search with Window Filters ICML 2024 Approximation Algorithms for Preference Aggregation Using CP-Nets AAAI 2024 AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents ACL 2024 Arbitrary Motion Style Transfer with Multi-condition Motion Latent Diffusion Model CVPR 2024 ARM: An Alignment-and-Replacement Module for Chinese Spelling Check Based on LLMs EMNLP 2024 A robust inlier identification algorithm for point cloud registration via ℓ_0-minimization NeurIPS 2024 ARTS: Assessing Readability & Text Simplicity EMNLP 2024 Arukikata Travelogue Dataset with Geographic Entity Mention, Coreference, and Link Annotation EACL 2024 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) AAAI 2024 A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) AAAI 2024 A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem IJCAI 2024 A Semantic Search Engine for Mathlib4 EMNLP 2024 ASGIR: audio spectrogram transformer guided classification and information retrieval for birds Interspeech 2024 A* shortest string decoding for non-idempotent semirings EACL 2024 Assemblage: Automatic Binary Dataset Construction for Machine Learning NeurIPS 2024 A Structure-Aware Framework for Learning Device Placements on Computation Graphs NeurIPS 2024 A Survey of Meaning Representations – From Theory to Practical Utility NAACL 2024