:: Library Catalog

कवर छवि

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	arXiv, Redacted by
स्वरूप:	Preprint
प्रकाशित:	2026
विषय:	Computation and Language
ऑनलाइन पहुंच:	https://arxiv.org/abs/2605.19416
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

LamPO: A Lambda Style Policy Optimization for Reasoning Language Models
द्वारा: arXiv, Redacted by
प्रकाशित: (2026)

The Llama 4 Herd: Architecture, Training, Evaluation, and Deployment Notes
द्वारा: arXiv, Redacted by
प्रकाशित: (2026)

Removed by arXiv
द्वारा: arXiv, Removed by
प्रकाशित: (2023)

Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
द्वारा: Audrito, Giorgio, और अन्य
प्रकाशित: (2026)

Lax Modal Lambda Calculi
द्वारा: Valliappan, Nachiappan
प्रकाशित: (2025)

The Lambda Calculus is Quantifiable
द्वारा: Maestracci, Valentin, और अन्य
प्रकाशित: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
द्वारा: Kobayashi, Naoki
प्रकाशित: (2024)

Opportunistically Parallel Lambda Calculus
द्वारा: Mell, Stephen, और अन्य
प्रकाशित: (2024)

A Gradual Probabilistic Lambda Calculus
द्वारा: Ye, Wenjia, और अन्य
प्रकाशित: (2026)

Intersection Types for a Computational Lambda-Calculus with Global State
द्वारा: de'Liguoro, Ugo, और अन्य
प्रकाशित: (2021)

HiPO: Hybrid Policy Optimization for Dynamic Reasoning in LLMs
द्वारा: Deng, Ken, और अन्य
प्रकाशित: (2025)

Lambda: Learning Matchable Prior For Entity Alignment with Unlabeled Dangling Cases
द्वारा: Yin, Hang, और अन्य
प्रकाशित: (2024)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
द्वारा: Bertrand, Meven Lennon, और अन्य
प्रकाशित: (2026)

Analyzing the Resource Utilization of Lambda Functions on Mobile Devices: Case Studies on Kotlin and Swift
द्वारा: Ejimuda, Chibundom U., और अन्य
प्रकाशित: (2025)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
द्वारा: Cerda, Rémy
प्रकाशित: (2025)

African Lambdas II: Formal Semantics of African Languages—The Verbal and Clausal Domain
द्वारा: Malte Zimmermann
प्रकाशित: (2025)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
द्वारा: Matsuoka, Satoshi
प्रकाशित: (2026)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
द्वारा: Grabmayer, Clemens
प्रकाशित: (2024)

Adding Negation to Lambda Mu
द्वारा: van Bakel, Steffen
प्रकाशित: (2021)

Role of Lambda N and Lambda NN interaction parameters on binding energy of Lambda H4 and Lambda H4*
द्वारा: Sharma, Bhupali
प्रकाशित: (2024)

$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
द्वारा: Liu, Qin
प्रकाशित: (2026)

Authorship Style Transfer with Policy Optimization
द्वारा: Liu, Shuai, और अन्य
प्रकाशित: (2024)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
द्वारा: Drab, Tomasz
प्रकाशित: (2024)

Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming
द्वारा: Flach, João, और अन्य
प्रकाशित: (2023)

Groups and Inverse Semigroups in Lambda Calculus
द्वारा: Bucciarelli, Antonio, और अन्य
प्रकाशित: (2026)

PrAg-PO: Prompt Augmented Policy Optimization for Robust and Diverse Mathematical Reasoning
द्वारा: Lu, Wenquan, और अन्य
प्रकाशित: (2026)

A Rewriting Theory for Quantum Lambda-Calculus
द्वारा: Faggian, Claudia, और अन्य
प्रकाशित: (2024)

RePO: Replay-Enhanced Policy Optimization
द्वारा: Li, Siheng, और अन्य
प्रकाशित: (2025)

CiPO: Counterfactual Unlearning for Large Reasoning Models through Iterative Preference Optimization
द्वारा: Li, Junyi, और अन्य
प्रकाशित: (2026)

Term Orders for Optimistic Lambda-Superposition
द्वारा: Bentkamp, Alexander, और अन्य
प्रकाशित: (2025)

StepPO: Step-Aligned Policy Optimization for Agentic Reinforcement Learning
द्वारा: Wang, Daoyu, और अन्य
प्रकाशित: (2026)

Lambda Nordica
प्रकाशित: (2019)

Combining On-Policy Optimization and Distillation for Long-Context Reasoning in Large Language Models
द्वारा: Ramos, Miguel Moura, और अन्य
प्रकाशित: (2026)

AMaPO: Adaptive Margin-attached Preference Optimization for Language Model Alignment
द्वारा: Deng, Ruibo, और अन्य
प्रकाशित: (2025)

Comprehensive Review of Performance Optimization Strategies for Serverless Applications on AWS Lambda
द्वारा: Bechir, Mohamed Lemine El, और अन्य
प्रकाशित: (2024)

SeaPO: Strategic Error Amplification for Robust Preference Optimization of Large Language Models
द्वारा: Rao, Jun, और अन्य
प्रकाशित: (2025)

ConfPO: Exploiting Policy Model Confidence for Critical Token Selection in Preference Optimization
द्वारा: Yoon, Hee Suk, और अन्य
प्रकाशित: (2025)

Variable Elimination as Rewriting in a Linear Lambda Calculus
द्वारा: Ehrhard, Thomas, और अन्य
प्रकाशित: (2025)

AT$^2$PO: Agentic Turn-based Policy Optimization via Tree Search
द्वारा: Zong, Zefang, और अन्य
प्रकाशित: (2026)

TreePO: Bridging the Gap of Policy Optimization and Efficacy and Inference Efficiency with Heuristic Tree-based Modeling
द्वारा: Li, Yizhi, और अन्य
प्रकाशित: (2025)