Lixplore-cli is a Python CLI tool for researchers. Search papers, filter results, and manage your library from the terminal.

Abstract: The rapid progress of artificial intelligence (AI) has led to the emergence of a highly promising field known as neuro-symbolic (NeSy) computing. This approach combines the strengths of ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...

An open-source Python library for simplifying local testing of Databricks workflows using PySpark and Delta tables. This library enables seamless testing of PySpark processing logic outside Databricks ...

This module contains sympy-based symbolic tools for the short-time propagator for one-dimensional Fokker-Planck dynamics. This python module accompanies the paper Ref ...

As avid puzzlers know full well, the humble jigsaw puzzle is a thing of beauty in multiple ways. Not only are jigsaws an absorbing time sink, but multiple studies have demonstrated they are good for ...