Канал: Nadav Timor

Xinyun Chen (Google DeepMind) - Leveraging Execution Feedback for Program Synthesis with LLMs

Xinyun Chen (Google DeepMind) - Leveraging Execution Feedback for Program Synthesis with LLMs

Michael Pradel (University of Stuttgart) - Neural Software Analysis: Recent Advances on...

Michael Pradel (University of Stuttgart) - Neural Software Analysis: Recent Advances on...

Jingxuan He (ETH) - Large Language Models for Code: Security Hardening and Adversarial Testing

Jingxuan He (ETH) - Large Language Models for Code: Security Hardening and Adversarial Testing

Timofey Bryksin (JetBrains) - Improving Code Completion by Learning from Anonymous IDE Usage Logs

Timofey Bryksin (JetBrains) - Improving Code Completion by Learning from Anonymous IDE Usage Logs

Baishakhi Ray (Columbia) - Towards Code-Aware AI Models for Code

Baishakhi Ray (Columbia) - Towards Code-Aware AI Models for Code

Miltos Allamanis (Google Brain) - Learning to Complete Code with Sketches

Miltos Allamanis (Google Brain) - Learning to Complete Code with Sketches

Uri Alon (CMU) - Natural Language Reasoning with Language Models of Code

Uri Alon (CMU) - Natural Language Reasoning with Language Models of Code

Jacob Andreas (MIT) - Learning to program by learning to read

Jacob Andreas (MIT) - Learning to program by learning to read