Documenti analoghi

• Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines
  di: Lai, Junyu, et al.
  Pubblicazione: (2024)
• MeteoRA: Multiple-tasks Embedded LoRA for Large Language Models
  di: Xu, Jingwei, et al.
  Pubblicazione: (2024)
• Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey
  di: Huang, Yunpeng, et al.
  Pubblicazione: (2023)
• Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving
  di: Xu, Shuo, et al.
  Pubblicazione: (2026)
• Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
  di: Xu, Qiyuan, et al.
  Pubblicazione: (2026)