$Image de couverture de livre$

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kommuru, Kranthi, Khanvilkar, Kunal, Parekh, Gaurav
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Computational Engineering, Finance, and Science Computer Vision and Pattern Recognition Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Regulatory Graphs and GenAI for Real-Time Transaction Monitoring and Compliance Explanation in Banking
par: Khanvilkar, Kunal, et autres
Publié: (2025)

Classroom Final Exam: An Instructor-Tested Reasoning Benchmark
par: Gao, Chongyang, et autres
Publié: (2026)

$MV_{Hybrid}$: Improving Spatial Transcriptomics Prediction with Hybrid State Space-Vision Transformer Backbone in Pathology Vision Foundation Models
par: Cho, Won June, et autres
Publié: (2025)

Spatial Priming Outperforms Semantic Prompting: A Grid-Based Approach to Improving LLM Accuracy on Chart Data Extraction
par: Lazarev, Andrei, et autres
Publié: (2026)

Neural Implicit 3D Cardiac Shape Reconstruction from Sparse CT Angiography Slices Mimicking 2D Transthoracic Echocardiography Views
par: Jansen, Gino E., et autres
Publié: (2026)

Defect Detection Network In PCB Circuit Devices Based on GAN Enhanced YOLOv11
par: Huang, Jiayi, et autres
Publié: (2025)

Improving Quality Control of Whole Slide Images by Explicit Artifact Augmentation
par: Jurgas, Artur, et autres
Publié: (2024)

Employing Graph Representations for Cell-level Characterization of Melanoma MELC Samples
par: Monroy, Luis Carlos Rivera, et autres
Publié: (2022)

TinyDef-DETR: A Transformer-Based Framework for Defect Detection in Transmission Lines from UAV Imagery
par: Shen, Feng, et autres
Publié: (2025)

STEAM-EEG: Spatiotemporal EEG Analysis with Markov Transfer Fields and Attentive CNNs
par: Qin, Jiahao, et autres
Publié: (2024)

LoLI-Street: Benchmarking Low-Light Image Enhancement and Beyond
par: Islam, Md Tanvir, et autres
Publié: (2024)

From Pixels to Predictions: Spectrogram and Vision Transformer for Better Time Series Forecasting
par: Zeng, Zhen, et autres
Publié: (2024)

S&P 500 Stock's Movement Prediction using CNN
par: Gupta, Rahul
Publié: (2025)

Automatic Feature Recognition and Dimensional Attributes Extraction From CAD Models for Hybrid Additive-Subtractive Manufacturing
par: Khan, Muhammad Tayyab, et autres
Publié: (2024)

Reliable Radiologic Skeletal Muscle Area Assessment -- A Biomarker for Cancer Cachexia Diagnosis
par: Ahmed, Sabeen, et autres
Publié: (2025)

ChartAgent: A Multimodal Agent for Visually Grounded Reasoning in Complex Chart Question Answering
par: Kaur, Rachneet, et autres
Publié: (2025)

FCMBench: The First Large-scale Financial Credit Multimodal Benchmark for Real-world Applications
par: Yang, Yehui, et autres
Publié: (2026)

SARDet-100K: Towards Open-Source Benchmark and ToolKit for Large-Scale SAR Object Detection
par: Li, Yuxuan, et autres
Publié: (2024)

Physics-Informed Neural Networks for Thermophysical Property Retrieval
par: Waseem, Ali, et autres
Publié: (2025)

Predicting Neuromodulation Outcome for Parkinson's Disease with Generative Virtual Brain Model
par: Du, Siyuan, et autres
Publié: (2026)

Bayes-DIC Net: Estimating Digital Image Correlation Uncertainty with Bayesian Neural Networks
par: Chen, Biao, et autres
Publié: (2025)

Quantum Doubly Stochastic Transformers
par: Born, Jannis, et autres
Publié: (2025)

The impact of internal variability on benchmarking deep learning climate emulators
par: Lütjens, Björn, et autres
Publié: (2024)

Fire-Image-DenseNet (FIDN) for predicting wildfire burnt area using remote sensing data
par: Pang, Bo, et autres
Publié: (2024)

Phaedra: Learning High-Fidelity Discrete Tokenization for the Physical Science
par: Lingsch, Levi, et autres
Publié: (2026)

Advancing Welding Defect Detection in Maritime Operations via Adapt-WeldNet and Defect Detection Interpretability Analysis
par: S, Kamal Basha, et autres
Publié: (2025)

Scalable heliostat surface predictions from focal spots: Sim-to-Real transfer of inverse Deep Learning Raytracing
par: Lewen, Jan, et autres
Publié: (2025)

Towards Domain Adaptive Neural Contextual Bandits
par: Wang, Ziyan, et autres
Publié: (2024)

Learning Enhanced Structural Representations with Block-Based Uncertainties for Ocean Floor Mapping
par: Minoza, Jose Marie Antonio
Publié: (2025)

Probabilistic Wildfire Spread Prediction Using an Autoregressive Conditional Generative Adversarial Network
par: Kang, Taehoon, et autres
Publié: (2025)

Explainable Computer Vision Framework for Automated Pore Detection and Criticality Assessment in Additive Manufacturing
par: Mishra, Akshansh, et autres
Publié: (2026)

FHRFormer: A Self-supervised Transformer Approach for Fetal Heart Rate Inpainting and Forecasting
par: Engan, Kjersti, et autres
Publié: (2025)

Parametric-ControlNet: Multimodal Control in Foundation Models for Precise Engineering Design Synthesis
par: Zhou, Rui, et autres
Publié: (2024)

Learning Object Properties Using Robot Proprioception via Differentiable Robot-Object Interaction
par: Chen, Peter Yichen, et autres
Publié: (2024)

Mitigating Hallucination in Large Multi-Modal Models via Robust Instruction Tuning
par: Liu, Fuxiao, et autres
Publié: (2023)

Decoding Scientific Experimental Images: The SPUR Benchmark for Perception, Understanding, and Reasoning
par: Ding, Junpeng, et autres
Publié: (2026)

FreeGave: 3D Physics Learning from Dynamic Videos by Gaussian Velocity
par: Li, Jinxi, et autres
Publié: (2025)

TRACE: Learning 3D Gaussian Physical Dynamics from Multi-view Videos
par: Li, Jinxi, et autres
Publié: (2025)

Aligning Proteins and Language: A Foundation Model for Protein Retrieval
par: Wu, Qifeng, et autres
Publié: (2025)

CostNav: A Navigation Benchmark for Real-World Economic-Cost Evaluation of Physical AI Agents
par: Seong, Haebin, et autres
Publié: (2025)