Program for Monday, May 18th: Talk View

PROGRAM FOR MONDAY, MAY 18TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

09:00-10:00 Re-thinking Education in the Face of AI

10:30-12:00

ShZZaM: An LLM+ATP Natural Language to Logic Translator

Geoffrey Sutcliffe, Danial Haroon

HARD-Xception: A Hybrid Adversarially Robust Deepfake Detection Framework Using Frequency Decomposition and Feature Consistency

Dhruv Vagadiya, Vaishnavi Sen, Rashida Hasan

Scalable Clinical Informatics Frameworks for AI-Enabled Assistive Systems in Mental Health Care

Heather Cooper, Nelly Elsayed, Maria Kyrarini

Semantic Length Limits in LLM Based Steganography

Haley Stinebrickner, Alexander V. Mantzaris, Wissam Ghantous

Explaining Why Instrumental Rationality is Insufficient for Ethical Behavior

Nicolas Tardif, Frédéric Beaudoin, Clayton Peterson

Emerging AI Trends: A 2025-2026 Synthesis

Maikel Leon, Robert Plant

Interactive Solution Viewers for Automated Theorem Proving

Daniel Li, Esteban Morales, Geoff Sutcliffe, Jack McKeown

Seeing the Spark Before the Flame: Wildfire Risk Detection via UNets

Jamie Boyd

A Preliminary Empirical Study of Large Language Models for Grading Debugging Problems in Programming

Qixiang Pang, Linrui Zhang, Belinda Copus, Shan Du

Can LLMs Classify Vehicular Basic Safety Messages Anomalies?

Arjun Gyawali, Rakesh Das, Heena Rathore

From Recommendation to Reflection: Measuring Moral Value Stability in Human–AI Collaboration Using Cognitive Value

Waseem Samkari, Thomas Eskridge

CultIcon-Bench: A Pilot Benchmark for Cultural Interpretation of Visual Icon

Rwaida Alssadi, Marius Silaghi

Classifying Target Sentences for LLM-Generated Persuasion Attacks in Press Releases from Federal Research

Kao, Bautista, Dupree, Ganberg, Beaubien, Cassani, Volkova

Collaboration on Waltz Labels can Achieve Qualitative Stereo Vision

Ben Mathew, Majed Alotaibi, Debasis Mitra, Marius Silaghi

Counting Constraints in POMDPs based on PID Controllers

Gmeiner et.al

Non-Stationary Spectral Decomposition Network for Econometric Time Series Forecasting

Nikhil Sunder

The Judge Effect in Two-Round Legal Debate on LegalBench

David Johnson, Onur Bilgin, John Licato

Domain-Specificity of Refusal Representations in Large Language Models

Charlie Tucker, Maikel Leon

Improving RAG/CAG Based Additional Context Retrieval from Datasets implementations via Pokemon-themed AI

Yeriel Rhee, Zayan Estaq, Steve Le, Cengiz Gunay

Improving LLM Thematic Analysis through Metric-Driven Self-Correction

Tacksoo Im, Hyesung Park

The Submittals Agent: A Hybrid Workflow for Automating Submittal Extraction from Construction

Alekhya Seelam, Sneha Ganupa, Vamsi Sai Kalasapudi, Sandeep Reddivari

LLM-Augmented Clustering for Customer Support Ticket Triage

Priti Sagar

Do LLMs Outperform Fine-tuned Transformers in Emotion Classification? A Case Study of Llama and RoBERTa on an Emotion

Tim Meinert, Anna Koufakou

Scalable GNN Training for Track Finding

Bipana Bista, Sree Sai Charan Vaitla, Alina Lazar

A Relational Model for Fine-Grained Visual Classification

Akkhar Ulok, Atefeh Gilvari, Ziad Kobti, Sudhir Paul, Masoud Akhshik

A Comparative Evaluation of Document Extraction Tools for Construction Specification Parsing

Alekhya Seelam, Sneha Ganupa, Vamsi Kalasapudi

Blockchain as a Tool for Ensuring Authenticity: Combating Fake AI-Generated Content and

Kyle Pasion

Codify: An Intelligent Socratic Tutoring System for Programming Education

Allan Ilyasov, Giulio Bardelli, Sebastian Torres, Fazel Keshtkar

Semantic Conversational AI for Construction Cost Analytics

Sneha Ganupa, Alekhya Seelam, Vamsi Sai Kalasapudi, Sandeep Reddivari

Machine Learning for Hypertension Prediction in U.S. University-Aged Students: Insights from NIH All of Us

Deborah Asamoah, Lina Chato

Using a chat interface for a data-driven course planning wizard

Francis Bolay, Cengiz Gunay

Directional Relations in Complex Word Embeddings

Samira Jahangiri, Alexander Mantzaris

Automated IoT Threat Monitoring & Mitigation using Tiny LLMs

Vinay Tiparadi, Narayan Krishnan, Chetanya Rathi, Priyantha Kumarawadu

Multimodal Machine Learning for Student Retention Prediction: Integrating Temporal, Textual, and Tabular

Kashaina Nucum

Reward-Guided Fine-Tuning of Language Models with Social Feedback

Jared Scott, Jesse Roberts

Comparative Study of Different Learning Paradigms for Zero-Shot Sentiment Analysis of the Low-Resource African Language

Linrui Zhang, Qixiang Pang, Belinda Copus

SAGE 0.2: LLMs for DOM Informed Internet Guidance

James Brooks, Jesse Roberts, Patrick McCloud

Automatic Translation from LIME to Clinically Meaningful Triage Explanations

D. Talbert, S. Talbert, N. Atkins, K. Phillips, N. Patterson, M. Kamal

InsightBoard: An Interactive Multi-Metric Visualization and Fairness Analysis Plugin for TensorBoard

Ray Chen, Christan Grant

Ghost Agents in SAT-based Models for Multi-Agent Pathfinding

Jiří Švancara, Roman Barták

13:30-13:50

ASP∀: An Open Educational Resource for Answer Set Programming.

Joshua T. Guerin, David Gonzalez, Jackson Madsen

13:50-14:10

A Pseudo-Boolean Formulation for Graph Database Queries

Gabriel Tiveron, Bruno Ribas

14:10-14:30

S3FC: Scalable Sparse Spectral Fusion Clustering for Multi-Manifold Data

Matthew Radice, Joshua Phillips

14:30-14:50

Dwell Time Estimation Using Periodic Image Captures and Deep Learning

John Butoto, Xudong Liu, Thobias Sando

14:50-15:00

Feasibility of Tiny Recursion Models for the Traveling Salesman Problem: Learned Insertion and 2-opt

Alexander V. Mantzaris

13:30-13:50

Systematic Analysis of Tokenization Properties in Low-Resource Polysynthetic NMT

Daniel Ndayegamiye, Jesse Roberts, Benjamin Frey

13:50-14:10

An Elicitation-Matrix Approach to Pragmatic Context Modeling in Low-Resource Machine Translation: The Case of Akuapem

Yamoah, Agyapong, Scroggins, Parekh, Brinkley, Jayaweera, Gilda, Dorr, Dorley

14:10-14:30

Domain-Adapted NLP for Multi-Label Crash Narrative Classification under Extreme Class Imbalance

Md Sajjad Hossain, Lin Li, Judy A. Perkins, John Clary, Joel Meyer, Ramon Gomez

14:30-14:40

Monitoring therapeutic plans and risk signals from clinical narratives in mental health using natural language

M. Ruiz Olazar, A. Aguilera, D. Ihara, C. Scales, F. Sosa

14:40-14:50

Fine-Grained Sentence-Level Propaganda Detection in News Articles

Mustafa Eren, Aneeza Shakeel, Vivek Sharma

13:30-13:50

The effect of decomposition rule modeling on the efficiency of hierarchical planners

Roman Barták, Simona Ondrčková, Kristýna Pantůčková

13:50-14:10

On Using Domain Control Knowledge in Planning: Position Paper

Lukas Chrpa, Roman Barták

14:10-14:30

BDI Agent-Based Access Control Reasoning for Multimodal Retrieval-Augmented Generation

Halil Yesil, Baris Tekin Tezel, Moharram Challenger

14:30-14:50

JSON-LD 1.2 and Beyond: Extensions for Machine Learning Data Exchange

M. Syed, M. Silaghi, S. Abujar, R. Alssadi, S. Akter Khushbu

14:50-15:00

Dynamic Conditional Logic: A Complete Axiomatization of Update, Retraction, and Minimal Change

Konstantinos Georgatos

13:30-13:50

Sudoku Sage: Evaluating Correctness of LLM-Generated Moves as a Constraint Satisfaction Task

Aidan Gillespie, Vladimir Serov, Drew Phelps, Amr Hilal

13:50-14:10

Computational Models of Player Strategy in Roguelike Games

Chris Alvin

14:10-14:30

When to Measure: A Multi-Agent Reinforcement Learning Approach for Efficient Tracking

Alessandro Amato, Raffaele Galliera, K. Brent Venable, Niranjan Suri

14:30-14:50

A Multi Attribute Extension of MDFT

Connor Tate, Brent Venable, David Fries

15:30-15:50

Prediction of Solar Flares Using Photospheric Magnetic Field Parameters with Deep Learning

Yash Chaudhary, Jason T. L. Wang, Chunhui Xu, Sen Zhang

15:50-16:10

Forecasting Geomagnetic Disturbances with Interpretable Deep Learning

Teja P. S. Singampalli, Jason T. L. Wang, Chunhui Xu, Katherine G. Herbert

16:10-16:30

Fragment-Based AI for Antibiotic Discovery

Adam Bess, Chris Alvin, Supratik Mukhopadhyay

16:30-16:50

FuseGO: Evaluating Embedding Fusion Across Species with Unequal Encoder Capacity for Automated Protein Function

Anne Howell, Indika Kahanda

16:50-17:00

Graph-Based Modeling of Iceberg Dynamics from Synthetic Aperture Radar Imagery

Olivia Patterson, Rebecca Williams

15:30-15:50

Propasafe-Hybrid: A Text-Based Hybrid Propaganda Detection Tool

Thomas Kimmeth, Avijit Roy, Vivek Sharma

15:50-16:10

MLSD: A Novel Few-Shot Learning Approach to Enhance Cross-Target and Cross-Domain Stance Detection

Parush Gera, Tempestt Neal

16:10-16:30

The Role of Emotions: Investigating Communicative Roles in Models and Data for Emotion Recognition

Timothy Meinert, Valerio Basile, Anna Koufakou

16:30-16:50

A Visualization of Explainable Stylometry of Presidential Speech and Writing

Mina Rajaei Moghadam, Mosab Rezaei, David Koop, Maoyuan Sun, Reva Freedman

15:30-15:50

Beyond Accuracy: Performance and Behavioral Evaluation of Multimodal AI for Suspicious Aerial Traffic

Gabriel Dietzsch, Elcio Hideiti Shiguemori

15:50-16:10

A Narrative-Driven Computational Framework for Clinician Burnout Surveillance

Fazel Keshtkar, Alyssa Meczkowska, Neeam Hayder, Syed Ahmad Chan Bukhari

16:10-16:30

Winning Isn’t Reasoning: Evaluating Iterative Reasoning Updating in Language Models

Kevin Scroggins, Kweku Yamoah, Emmanuel Dorley

16:30-16:50

Implementing Nonmonotonic Reasoning From Weakly Consistent Conditional Belief Bases

Christoph Beierle, Aron Spang, Lars-Phillip Spiegel, Jonas Philipp Haldimann

15:30-15:50

Do Programmers and AI See the Same Problem? Quantifying Cognitive Misalignment in Code Generation

Yi Zhang, Julia Rayz

15:50-16:00

The Robot Maze Test: An Evaluation of Situated Learning for Humans and Machine Agents

I. Perera, B. DeCouto, C. Bates, M. Johnson, C. Patterson, A. Treacy, Z. McCurdy

16:00-16:10

AstroAid: Personalized Target Down-Selection for Amateur Astronomers

Joseph Salisbury

16:10-16:30

A Study on How Well LLMs Can Assist Novices with Code Comprehension Tasks

Mahmudul Islam Sajib, Shanti Tamang, Jeevan Chapagain, Vasile Rus