1× knowledge

Generative AI Programmer / Subject

Research Level

Investigate neural code generation, program synthesis and repair, code-model reasoning, autonomous coding agents, program verification, multimodal programming and automated software evolution.

Your Progress

Learning Summary

0 of 72 topics completed
Quizzes Completed 0Best Quiz Score —Current Level Not startedContinue Choose a topic

Suggested sequence

Learning roadmap

Topics follow the Admin display order

Research

72 topics
  1. Neural Code Generation
  2. Program Synthesis
  3. Neural Program Synthesis
  4. Program Repair
  5. Automated Bug Repair
  6. Code Understanding
  7. Code Representation Learning
  8. Code Embeddings
  9. Semantic Code Search
  10. Code Summarization
  11. Code Translation
  12. Code Completion
  13. Repository-Level Code Generation
  14. Long-Context Code Understanding
  15. Code Language Models
  16. Transformer Models for Code
  17. Code Tokenization
  18. Code Pretraining
  19. Code Instruction Tuning
  20. Code Preference Optimization
  21. Code Reasoning
  22. Test-Time Compute for Coding
  23. Long-Context Reasoning
  24. Structured Code Generation
  25. Constrained Decoding
  26. Grammar-Constrained Generation
  27. Execution-Guided Generation
  28. Autonomous Coding Agents
  29. Self-Improving Coding Agents
  30. Planning for Coding Agents
  31. Long-Horizon Software Engineering
  32. Agent Memory Research
  33. Agent Tool Learning
  34. Agent Computer Use
  35. Multi-Agent Software Engineering
  36. Agent Collaboration
  37. Agent Verification
  38. Agent Self-Correction
  39. Agent Benchmarking
  40. Formal Verification with LLMs
  41. Automated Theorem Proving
  42. Formal Specification Generation
  43. AI-Assisted Proof Generation
  44. Symbolic Execution
  45. Neuro-Symbolic Programming
  46. Constraint Solving
  47. Static Program Analysis
  48. Dynamic Program Analysis
  49. Execution-Based Verification
  50. Natural Language Programming
  51. Intent-to-Software Generation
  52. Specification-to-Software Generation
  53. End-to-End Application Generation
  54. Self-Healing Software
  55. Self-Maintaining Software
  56. Self-Optimizing Code
  57. Continual Learning for Code Models
  58. Personalized Coding Models
  59. Repository-Specialized Models
  60. Multimodal Programming Models
  61. Screenshot-to-Code
  62. Diagram-to-Code
  63. Voice-to-Code
  64. Video-to-Code
  65. GUI Agents
  66. Computer-Using Coding Agents
  67. Human-AI Pair Programming Research
  68. AI-Native Software Engineering
  69. Generative Software Engineering
  70. Automated Software Evolution
  71. AI Software Factories
  72. Autonomous Software Engineering Research

Topics

72 published topics

  1. 41 Automated Theorem ProvingLearn Automated Theorem Proving through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  2. 42 Formal Specification GenerationLearn Formal Specification Generation through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 15 min read · 240 min learning
  3. 43 AI-Assisted Proof GenerationLearn AI-Assisted Proof Generation through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 15 min read · 240 min learning
  4. 44 Symbolic ExecutionLearn Symbolic Execution through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  5. 45 Neuro-Symbolic ProgrammingLearn Neuro-Symbolic Programming through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  6. 46 Constraint SolvingLearn Constraint Solving through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  7. 47 Static Program AnalysisLearn Static Program Analysis through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  8. 48 Dynamic Program AnalysisLearn Dynamic Program Analysis through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  9. 49 Execution-Based VerificationLearn Execution-Based Verification through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  10. 50 Natural Language ProgrammingLearn Natural Language Programming through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  11. 51 Intent-to-Software GenerationLearn Intent-to-Software Generation through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  12. 52 Specification-to-Software GenerationLearn Specification-to-Software Generation through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  13. 53 End-to-End Application GenerationLearn End-to-End Application Generation through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 15 min read · 240 min learning
  14. 54 Self-Healing SoftwareLearn Self-Healing Software through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  15. 55 Self-Maintaining SoftwareLearn Self-Maintaining Software through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  16. 56 Self-Optimizing CodeLearn Self-Optimizing Code through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  17. 57 Continual Learning for Code ModelsLearn Continual Learning for Code Models through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  18. 58 Personalized Coding ModelsLearn Personalized Coding Models through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 15 min read · 240 min learning
  19. 59 Repository-Specialized ModelsLearn Repository-Specialized Models through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning
  20. 60 Multimodal Programming ModelsLearn Multimodal Programming Models through a detailed Generative AI Programmer lesson with a relevant example, verification, exercises, safety analysis and practice questions.Research · 16 min read · 240 min learning