Journal of the ACM

Paper

10 Jan 1991

A Propositional Modal Logic of Time Intervals

Abstract

No abstract available.

Conference paper

Trimming the ₁ regularizer: Statistical analysis, optimization, and applications to deep learning

Jihun Yun, Peng Zheng, et al.

ICML 2019

Conference paper

LaMAGIC2: Advanced Circuit Formulations for Language Model-Based Analog Topology Generation

Chen-chia Chang, Wan-hsuan Lin, et al.

ICML 2025

Workshop paper

Solving Raven's Progressive Matrices via a Neuro-vector-symbolic Architecture

Michael Hersche, Mustafa Zeqiri, et al.

NeSy 2023

Conference paper

Multimodal Large Language Models for Inverse Molecular Design with Retrosynthetic Planning

Gang Liu, Michael Sun, et al.

ICLR 2025

View all publications