skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Arxiv.Org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Guess & Sketch: Language Model Guided Transpilation
Guess & Sketch: Language Model Guided Transpilation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Guess & Sketch: Language Model Guided Transpilation

Lee, Celine ; Mahmoud, Abdulrahman ; Kurek, Michal ; Campanoni, Simone ; Brooks, David ; Chong, Stephen ; Gu-Yeon, Wei ; Rush, Alexander M

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
How ISO C became unusable for operating systems development
How ISO C became unusable for operating systems development
Material Type:
Artigo 		Adicionar ao Meu Espaço

How ISO C became unusable for operating systems development

Yodaiken, Victor

arXiv.org, 2022-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Interpreting Knowledge-based Programs (Extended Version with Proofs)
Interpreting Knowledge-based Programs (Extended Version with Proofs)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Interpreting Knowledge-based Programs (Extended Version with Proofs)

Knapp, Alexander ; Mühlberger, Heribert ; Reus, Bernhard

arXiv.org, 2023-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems

Fakih, Mohamad ; Dharmaji, Rahul ; Moghaddas, Yasamin ; Gustavo Quiros Araya ; Ogundare, Oluwatosin ; Mohammad Abdullah Al Faruque

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Function-constrained Program Synthesis
Function-constrained Program Synthesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Function-constrained Program Synthesis

Hajali, Patrick ; Budvytis, Ignas

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
LLM as OS, Agents as Apps: Envisioning AIOS, Agents and the AIOS-Agent Ecosystem
LLM as OS, Agents as Apps: Envisioning AIOS, Agents and the AIOS-Agent Ecosystem
Material Type:
Artigo 		Adicionar ao Meu Espaço

LLM as OS, Agents as Apps: Envisioning AIOS, Agents and the AIOS-Agent Ecosystem

Ge, Yingqiang ; Ren, Yujie ; Hua, Wenyue ; Xu, Shuyuan ; Tan, Juntao ; Zhang, Yongfeng

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Real-Time Probabilistic Programming
Real-Time Probabilistic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Real-Time Probabilistic Programming

Hummelgren, Lars ; Becker, Matthias ; Broman, David

arXiv.org, 2023-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Benchmarking Large Language Models for Automated Verilog RTL Code Generation
Benchmarking Large Language Models for Automated Verilog RTL Code Generation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Benchmarking Large Language Models for Automated Verilog RTL Code Generation

Thakur, Shailja ; Baleegh Ahmad ; Fan, Zhenxing ; Hammond Pearce ; Tan, Benjamin ; Karri, Ramesh ; Dolan-Gavitt, Brendan ; Garg, Siddharth

arXiv.org, 2022-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
From Procedures, Objects, Actors, Components, Services, to Agents -- A Comparative Analysis of the History and Evolution of Programming Abstractions
From Procedures, Objects, Actors, Components, Services, to Agents -- A Comparative Analysis of the History and Evolution of Programming Abstractions
Material Type:
Artigo 		Adicionar ao Meu Espaço

From Procedures, Objects, Actors, Components, Services, to Agents -- A Comparative Analysis of the History and Evolution of Programming Abstractions

Briot, Jean-Pierre

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Verifying Performance Properties of Probabilistic Inference
Verifying Performance Properties of Probabilistic Inference
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying Performance Properties of Probabilistic Inference

Atkinson, Eric ; Cheng, Ellie Y ; Baudart, Guillaume ; Mandel, Louis ; Carbin, Michael

arXiv.org, 2023-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.