Publications

This is our catalog of recent publications authored by IBM researchers, in collaboration with the global research community. We’re currently adding our back catalog of more than 110,000 publications. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Featured collections

Popular topics

Year

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- - Achille Fokoue
  - Ibrahim Abdelaziz
  - et al.
- 2023
- IJCAI 2023
Forecasting Soil Moisture Using Domain Inspired Temporal Graph Convolution Neural Networks To Guide Sustainable Crop Management
- - Muneeza Azmat
  - Malvern Madondo
  - et al.
- 2023
- IJCAI 2023
Hierarchical Apprenticeship Learning for Disease Progression Modeling
- - Xi Yang
  - Ge Gao
  - et al.
- 2023
- IJCAI 2023
Balancing Social Impact, Opportunities, and Ethical Constraints of Using AI in the Documentation and Vitalization of Indigenous Languages
- - Claudio Santos Pinhanez
  - Paulo Rodrigo Cavalin
  - et al.
- 2023
- IJCAI 2023
Probabilistic Rule Induction from Event Sequences with Logical Summary Markov Models
- - Debarun Bhattacharjya
  - Oktie Hassanzadeh
  - et al.
- 2023
- IJCAI 2023
Graph-Theoretic Algorithms for the Alternating Trilinear Form Equivalence Problem
- - Ward Beullens
- 2023
- CRYPTO 2023
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification
- - Jonathan Bootle
  - Alessandro Chiesa
  - et al.
- 2023
- CRYPTO 2023
Security Analysis of the WhatsApp End-to-End Encrypted Backup Protocol
- - Gareth T. Davies
  - Sebastian Faller
  - et al.
- 2023
- CRYPTO 2023
LaBRADOR: Compact Proofs for R1CS from Module-SIS
- - Ward Beullens
  - Gregor Seiler
- 2023
- CRYPTO 2023
A Framework for Practical Anonymous Credentials from Lattices
- - Jonathan Bootle
  - Vadim Lyubashevsky
  - et al.
- 2023
- CRYPTO 2023