Language:

Results 1 - 20 of 599 for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method

Results 1 2 3 4 5

Show only

Peer-reviewed Journals (3)

Refined by: subject: Computer Science - Artificial Intelligence

Result Number	Material Type	Record Details and Options
1	Material Type: Article	Deriving Probability Density Functions from Probabilistic Functional Programs Logical methods in computer science, 2017-01, Vol.13 (2) [Peer Reviewed Journal] ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-13(2:16)2017 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
2	Material Type: Article	DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.18315 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
3	Material Type: Article	HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2405.15880 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
4	Material Type: Article	Measure Transformer Semantics for Bayesian Machine Learning Logical methods in computer science, 2013-09, Vol.9, Issue 3 (3), p.11 [Peer Reviewed Journal] ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-9(3:11)2013 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
5	Material Type: Article	Large Language Models for Code Summarization http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.19032 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
6	Material Type: Article	Kotlin ML Pack: Technical Report http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.19250 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
7	Material Type: Article	Scorch: A Library for Sparse Deep Learning http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.16883 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
8	Material Type: Article	AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2405.17514 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
9	Material Type: Article	Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2405.16450 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
10	Material Type: Article	LLMs are Meaning-Typed Code Constructs arXiv.org, 2024-05 2024. This work is published under http://creativecommons.org/licenses/by-sa/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by-sa/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2405.08965 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
11	Material Type: Article	A Multi-Level Superoptimizer for Tensor Programs http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2405.05751 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
12	Material Type: Article	Searching for Programmatic Policies in Semantic Spaces http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2405.05431 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
13	Material Type: Article	An LLM-Tool Compiler for Fused Parallel Function Calling http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.17438 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
14	Material Type: Article	Improving LLM Classification of Logical Errors by Integrating Error Relationship into Prompts arXiv.org, 2024-05 2024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2404.19336 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
15	Material Type: Article	Abstract Interpretation for Generalized Heuristic Search in Model-Based Planning arXiv.org, 2022-08 2022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2208.02938 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
16	Material Type: Article	LTL learning on GPUs arXiv.org, 2024-03 2024. This work is published under http://creativecommons.org/licenses/by-nc-nd/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by-nc-nd/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2402.12373 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
17	Material Type: Article	WatChat: Explaining perplexing programs by debugging mental models arXiv.org, 2024-03 2024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2403.05334 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
18	Material Type: Article	SoD$^2$: Statically Optimizing Dynamic Deep Neural Network http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2403.00176 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
19	Material Type: Article	SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly arXiv.org, 2024-02 2024. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2305.12520 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
20	Material Type: Article	Efficient Bottom-Up Synthesis for Programs with Local Variables arXiv.org, 2023-11 2023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2311.03705 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by

Results 1 - 20 of 599 for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method

Results 1 2 3 4 5

Personalize your results

Edit

Add page to My Research

Refine Search Results

Expand My Results

Expand My Results

Show only

Peer-reviewed Journals (3)

on this subject:


INSPIRE LIBRARY - TON DUC THANG UNIVERSITY	(84-028) 37 755 057	Feedback
19 Nguyen Huu Tho St. Dist.7, HCM	thuvien@tdtu.edu.vn	Feedback

Results 1 - 20 of 599 for All Library Resources

ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-13(2:16)2017

http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.18315

http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2405.15880

ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-9(3:11)2013

http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.19032

http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.19250

http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.16883

http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2405.17514

http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2405.16450

http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2405.05751

http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2405.05431

http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.17438

http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2403.00176

Results 1 - 20 of 599 for All Library Resources

Personalize your results

Refine Search Results

Expand My Results

Show only

Refine My Results

Creation Date

New Records

Resource Type

Subject

Databases

Journal Title

on this subject:

Searching Remote Databases, Please Wait