On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

168,695 papers · 148 categories

Trend · papers per month

count % of corpus

3 results for “Autoformalization”

Autoformalizing Euclidean Geometrycs.LG

This paper autoformalizes Euclidean geometry using LLMs and theorem provers.

problem Challenges in formalizing Euclidean geometry due to reliance on diagrams.

method Combines neuro-symbolic framework, SMT solvers, and LLMs to fill in diagrammatic gaps.

result Demonstrates the capability and limitations of LLMs on autoformalizing geometry problems.

Autoformalization Euclidean Geometry Neuro-symbolic LLMs Theorem Proving

2024-05-27abs ↗pdf ↗

A Controlled Comparison of Deep Learning Architectures for Multi-Horizon Financial Forecasting: Evidence from 918 Experimentsq-fin.ST

Study compares nine deep learning architectures for multi-horizon financial forecasting.

problem Evaluating the performance of deep learning architectures for multi-horizon financial forecasting.

method Conducted 918 experiments across cryptocurrency, forex, and equity markets using nine architectures.

result ModernTCN achieves the best mean rank (1.333) with a 75 percent first-place rate.

deep learning financial forecasting multi-horizon cryptocurrency forex

2026-02-27abs ↗pdf ↗

Parking Availability Prediction via Fusing Multi-Source Data with A Self-Supervised Learning Enhanced Spatio-Temporal Inverted Transformercs.LG

This study predicts parking availability using multi-source data and a self-supervised learning enhanced transformer.

problem Accurate parking availability prediction to support urban planning and management.

method Proposes SST-iTransformer, a self-supervised learning enhanced spatio-temporal inverted transformer, integrating multi-source data.

result SST-iTransformer achieves state-of-the-art performance in parking availability prediction.

Parking Availability Prediction Multi-Source Data Self-Supervised Learning Transformer Spatio-Temporal

2025-09-04abs ↗pdf ↗