English
Related papers

Related papers: Conformal Geometric Algebra as a Symbolic Interfac…

200 papers

The evaluation of Large Language Models (LLMs) in complex reasoning domains typically relies on performance alignment with ground-truth oracles. In the domain of chess, this standard manifests as accuracy benchmarks against strong engines…

Artificial Intelligence · Computer Science 2025-12-18 Xidan Song , Weiqi Wang , Ruifeng Cao , Qingya Hu

Classifier-free guidance (CFG) is the primary control over how strongly text semantics move a flow-based sampler, yet standard practice holds its scale fixed across the entire ODE trajectory. This is a fundamental mismatch: early steps are…

Computer Vision and Pattern Recognition · Computer Science 2026-05-18 Yan Luo , Ahmadou Aidara , Jingyi Lu , Jeremy Moebel , Kai Han , Mengyu Wang

We propose a novel iterative phase estimation framework, termed multi-source Griffin-Lim algorithm (MSGLA), for speech enhancement (SE) under additive noise conditions. The core idea is to leverage the ad-hoc consistency constraint of…

Audio and Speech Processing · Electrical Eng. & Systems 2025-07-04 Chun-Wei Ho , Pin-Jui Ku , Hao Yen , Sabato Marco Siniscalchi , Yu Tsao , Chin-Hui Lee

Large Language Models (LLMs) combined with Retrieval-Augmented Generation (RAG) and knowledge graphs offer new opportunities for interacting with engineering diagrams such as Piping and Instrumentation Diagrams (P&IDs). However, directly…

Information Retrieval · Computer Science 2026-03-25 Achmad Anggawirya Alimin , Artur M. Schweidtmann

Domain of mathematical logic in computers is dominated by automated theorem provers (ATP) and interactive theorem provers (ITP). Both of these are hard to access by AI from the human-imitation approach: ATPs often use human-unfriendly…

Logic in Computer Science · Computer Science 2020-05-08 Miroslav Olšák

Graph Edit Distance (GED) is a general and domain-agnostic metric to measure graph similarity, widely used in graph search or retrieving tasks. However, the exact GED computation is known to be NP-complete. For instance, the widely used A*…

Machine Learning · Computer Science 2023-11-07 Junfeng Liu , Min Zhou , Shuai Ma , Lujia Pan

Grammatical error correction for Indic languages faces limited supervision, diverse scripts, and rich morphology. We propose an augmentation-free setup that uses instruction-tuned large language models and conservative decoding. A 12B GEMMA…

Computation and Language · Computer Science 2025-12-02 Akhil Rajeev P

Large Language Models are increasingly capable of interpreting multimodal inputs to generate complex 3D shapes, yet robust methods to evaluate geometric and structural fidelity remain underdeveloped. This paper introduces a human in the…

Computer Vision and Pattern Recognition · Computer Science 2025-09-10 Ahmed R. Sadik , Mariusz Bujny

We present Entropic Mutual-Information Geometry Large-Language Model Alignment (ENIGMA), a novel approach to Large-Language Model (LLM) training that jointly improves reasoning, alignment and robustness by treating an organisation's…

Machine Learning · Computer Science 2025-10-17 Gareth Seneque , Lap-Hang Ho , Nafise Erfanian Saeedi , Jeffrey Molendijk , Ariel Kuperman , Tim Elson

We study grammar-constrained decoding (GCD) as a coupling between an autoregressive next-token distribution and a reachability oracle over a pushdown system compiled from a context-free grammar (CFG). We prove an oracle invariance theorem:…

Computation and Language · Computer Science 2026-03-09 Faruk Alpay , Bilge Senturk

Evaluating the symbolic reasoning of large language models (LLMs) calls for geometry benchmarks that require multi-step proofs grounded in both text and diagrams. However, existing benchmarks are often limited in scale and rarely provide…

Computation and Language · Computer Science 2026-03-23 Yushun Zhang , Weiping Fu , Zesheng Yang , Bo Zhao , Lingling Zhang , Jian Zhang , Yumeng Fu , Jiaxing Huang , Jun Liu

High fidelity 3D reconstruction and rendering hinge on capturing precise geometry while preserving photo realistic detail. Most existing methods either fuse these goals into a single cumbersome model or adopt hybrid schemes whose uniform…

Computer Vision and Pattern Recognition · Computer Science 2025-05-27 Changjian Jiang , Kerui Ren , Linning Xu , Jiong Chen , Jiangmiao Pang , Yu Zhang , Bo Dai , Mulin Yu

Computing geodesic distances on 3D surfaces is fundamental to many tasks in 3D vision and geometry processing, with deep connections to tasks such as shape correspondence. Recent learning-based methods achieve strong performance but rely on…

Computer Vision and Pattern Recognition · Computer Science 2026-03-20 Yohanes Yudhi Adikusuma , Qixing Huang , Ying He

Aligning 3D scene graphs is a crucial initial step for several applications in robot navigation and embodied perception. Current methods in 3D scene graph alignment often rely on single-modality point cloud data and struggle with incomplete…

Computer Vision and Pattern Recognition · Computer Science 2025-10-17 Binod Singh , Sayan Deb Sarkar , Iro Armeni

Understanding uncertainty in large language models remains a fundamental challenge, particularly in creative tasks where multiple valid outputs exist. We present a geometric framework using credal sets - convex hulls of probability…

Computation and Language · Computer Science 2025-09-30 Esteban Garces Arias , Julian Rodemann , Christian Heumann

Most evaluations of large language models focus on standard tasks such as factual question answering or short summarization. This research expands that scope in two directions: first, by comparing two retrieval strategies, Graph RAG,…

Computation and Language · Computer Science 2025-12-02 Nicole Favero , Francesca Salute , Daniel Hardt

Contrastive Language-Image Pre-training (CLIP) has achieved success on multiple downstream tasks by aligning image and text modalities. However, the nature of global contrastive learning limits CLIP's ability to comprehend compositional…

Computer Vision and Pattern Recognition · Computer Science 2025-08-27 Xiaoxing Hu , Kaicheng Yang , Jun Wang , Haoran Xu , Ziyong Feng , Yupei Wang

3D vision-language (VL) reasoning has gained significant attention due to its potential to bridge the 3D physical world with natural language descriptions. Existing approaches typically follow task-specific, highly specialized paradigms.…

Computer Vision and Pattern Recognition · Computer Science 2024-12-02 Hao Liu , Yanni Ma , Yan Liu , Haihong Xiao , Ying He

Volume parameterizations abound in recent literature, from the classic voxel grid to the implicit neural representation and everything in between. While implicit representations have shown impressive capacity and better memory efficiency…

Computer Vision and Pattern Recognition · Computer Science 2024-11-22 Irmak Sivgin , Sara Fridovich-Keil , Gordon Wetzstein , Mert Pilanci

Depth completion is a key task in autonomous driving, aiming to complete sparse LiDAR depth measurements into high-quality dense depth maps through image guidance. However, existing methods usually treat depth maps as an additional channel…

Computer Vision and Pattern Recognition · Computer Science 2025-01-15 Kuang Zhu , Xingli Gan , Min Sun