4 papers
From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning
Weichen Dai, Rafael Medeiros Cabral, Ziyi Shou +4
Plane geometry remains a significant challenge in AI, requiring the integration of visual perception and mathematical reasoning. While Large Multimodal Models (LMMs) naturally hand…
Internalizing Geometric Law: Learning from Solver Residuals for Precision-Critical Generation
Rafael Cabral, Pang Zixi, Ziyi Shou +1
Large Language Models frequently hallucinate in precision-critical domains such as technical diagramming and mechanical design, where outputs must satisfy strict geometric constrai…
Mathesis: Towards Formal Theorem Proving from Natural Languages
Yu Xuejun, Jianyuan Zhong, Zijin Feng +17
Recent advances in large language models show strong promise for formal reasoning. However, most LLM-based theorem provers have long been constrained by the need for expert-written…
XRJL-HKUST at SemEval-2021 Task 4: WordNet-Enhanced Dual Multi-head Co-Attention for Reading Comprehension of Abstract Meaning
Yuxin Jiang, Ziyi Shou, Qijun Wang +2
This paper presents our submitted system to SemEval 2021 Task 4: Reading Comprehension of Abstract Meaning. Our system uses a large pre-trained language model as the encoder and an…