The Wesleyan Argus

What is Love? Math, Art, and English Professors Analogize, Decode, and Graph the Answer

This Valentine’s Day, professors from the Mathematics, Art, and English departments translate love, romance, and dating into mathematical, artistic, and literary terms to answer your deepest questions ...
Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
IEEE

CoAdapt: Collaborative Adaptation Between Latent EEG Feature Representation and Annotation for Emotion Decoding

Abstract: Electroencephalogram (EEG) data contain rich neurophysiological information that can objectively express the emotional state of human beings. However, the inherent EEG characteristics such ...
IEEE

Decoding the Past: Solving Challenging Oracle Bone Characters Recognition Problem by Integrating Vision Transformer and Generative Adversarial Image Restoration Technique

Abstract: Oracle Bone Characters (OBC), one of the earliest forms of writing in China, are crucial for understanding ancient religious practices and daily lives. Inscribed on animal bones and shells, ...