A comprehensive index of artificial intelligence and machine-learning research with AI-generated summaries, citation metrics, and direct links to papers and code.
Leslie Lamport
Introduces the Temporal Logic of Actions (TLA), a simple yet powerful logic for specifying and reasoning about concurrent systems, where systems and properties are expressed in the same logic.
Mathieu Jacomy, Tommaso Venturini, Sébastien Heymann, et al.
ForceAtlas2 is a force-directed graph layout algorithm designed for Gephi, integrating techniques like Barnes-Hut simulation and adaptive temperatures for network visualization.
Unknown
This paper introduces a method to teach vision-language models 3D perception and reasoning by transforming 2D image inputs into 3D spatial representations.
Unknown
AgentAtlas proposes a framework for evaluating LLM agents beyond final task success, instantiated through four components.
Guo‐Li Xiong, Zhenhua Wu, Jiacai Yi, et al.
ADMETlab 2.0 is an integrated online platform for accurate and comprehensive predictions of ADMET properties using a multi-task graph attention framework.