Concatenate Tensor begins with a tensor workload and candidate constraints, synthesizes an implementation, and carries proof obligations through verification and benchmarking before a kernel can be accepted.
Generated from the project’s proof-carrying synthesis model. Scroll horizontally to inspect the complete system.
01Describe the tensor workload
02Generate candidate kernels
03Attach proof obligations
04Verify correctness
05Benchmark and select